The cat sees the mouse. The cat visits the mouse. The mouse is blue. If someone eats the cat and they see the mouse then the mouse eats the cat. If someone is big then they are young. If someone visits the mouse then the mouse sees the cat.
The mouse is rough.
@0: The cat sees the mouse.[(triple1)] The cat visits the mouse.[(triple2)] The mouse is blue.[(triple3)] @1: The mouse sees the cat.[(((triple2) -> rule3))]