module Test(g) where

data B = TT | FF

g y0 FF y1 FF y2 FF = TT
g TT TT y1 x1 y2 x2 = TT
g FF TT y1 x1 y2 x2 = TT
g y0 x0 TT TT y2 x2 = TT
g y0 x0 FF TT y2 x2 = TT
g y0 x0 y1 x1 TT TT = TT
g y0 x0 y1 x1 FF TT = TT