The cat is blue. The cow does not eat the mouse. The mouse is big. If someone is blue and they see the mouse then they see the cow. If someone is kind and they see the cow then they like the cow. If someone is red then they see the cat. If the cat does not like the mouse then the cat is not red. If someone eats the cow and they do not eat the mouse then the cow eats the cat. All big people are red. If someone likes the cow and they are not big then they eat the cat. If someone eats the cat then they are blue.
The mouse sees the cat.
@0: The cat is blue.[(triple1)] The cow does not eat the mouse.[(triple2)] The mouse is big.[(triple3)] @1: The mouse is red.[(((triple3) -> rule6))] @2: The mouse sees the cat.[(((((triple3) -> rule6)) -> rule3))]