S->T and T|T or T|T.T->True|False|U.U->not T.
True and False
S->A i B.A->b.B->r C.C->d.
b i r d
A->y B|x|B C.B->z B|u.C->s.
y z z z u