The cat likes the mouse. The dog eats the cat. The dog is blue. The dog is young. The mouse eats the squirrel. The mouse is not young. The mouse likes the cat. The mouse likes the squirrel. The squirrel likes the mouse. The squirrel visits the cat. All big things are not young. If something eats the mouse and it is young then the mouse likes the dog. If something visits the cat then it eats the cat. If something eats the cat and it visits the cat then it is big. If the cat visits the dog and the cat eats the dog then the cat is rough. If something eats the mouse then the mouse is big.
The squirrel eats the cat.
@0: The cat likes the mouse.[(triple1)] The dog eats the cat.[(triple2)] The dog is blue.[(triple3)] The dog is young.[(triple4)] The mouse eats the squirrel.[(triple5)] The mouse is not young.[(triple6)] The mouse likes the cat.[(triple7)] The mouse likes the squirrel.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the cat.[(triple10)] @1: The squirrel eats the cat.[(((triple10) -> rule3))] @2: The squirrel is big.[(((((triple10) -> rule3) triple10) -> rule4))] @3: The squirrel is not young.[(((((((triple10) -> rule3) triple10) -> rule4)) -> rule1))]