The cat eats the mouse. The cat is blue. The cat needs the mouse. The cat sees the mouse. The mouse is big. The mouse is red. The mouse is round. If someone is big and they see the mouse then the mouse needs the cat. If the cat sees the mouse and the mouse needs the cat then the mouse sees the cat. If someone is round then they see the mouse.
The mouse needs the cat.
@0: The cat eats the mouse.[(triple1)] The cat is blue.[(triple2)] The cat needs the mouse.[(triple3)] The cat sees the mouse.[(triple4)] The mouse is big.[(triple5)] The mouse is red.[(triple6)] The mouse is round.[(triple7)] @1: The mouse sees the mouse.[(((triple7) -> rule3))] @2: The mouse needs the cat.[(((triple5 ((triple7) -> rule3)) -> rule1))] @3: The mouse sees the cat.[(((triple4 ((triple5 ((triple7) -> rule3)) -> rule1)) -> rule2))]