test01.g revision 8097f4aa8c4e8d1445d2ebce2e2614655809ade1
T -> (<12>F /\~ F -> ( [ 1 ](F\/T<-(~<6>F<->[3]T )) ))