module Test(g) where

data B = TT | FF

g TT x1 x2 x3 x4 TT y1 y2 y3 y4 = TT
g x0 TT x2 x3 x4 y0 TT y2 y3 y4 = TT
g x0 x1 TT x3 x4 y0 y1 TT y3 y4 = TT
g x0 x1 x2 TT x4 y0 y1 y2 TT y4 = TT
g x0 x1 x2 x3 TT y0 y1 y2 y3 TT = TT
g TT x1 x2 x3 x4 FF y1 y2 y3 y4 = TT
g x0 TT x2 x3 x4 y0 FF y2 y3 y4 = TT
g x0 x1 TT x3 x4 y0 y1 FF y3 y4 = TT
g x0 x1 x2 TT x4 y0 y1 y2 FF y4 = TT
g x0 x1 x2 x3 TT y0 y1 y2 y3 FF = TT
g FF FF FF FF FF y0 y1 y2 y3 y4 = TT