(VAR x y z)
(RULES
  and3(x,y,F) -> F
  and3(T,T,T) -> T
  and3(x,y,z) -> and3(y,z,x)
)
(COMMENT
full experiments for [35]
submitted by: Takahito Aoto and Yoshihito Toyama
)