The cat chases the squirrel. The cat is round. The cat likes the mouse. The cat visits the mouse. The mouse chases the cat. The mouse is round. The mouse likes the squirrel. The squirrel is blue. The squirrel likes the mouse. The squirrel visits the mouse. If the mouse likes the cat and the cat chases the squirrel then the squirrel chases the mouse. If someone is big and round then they chase the cat. If someone chases the squirrel then the squirrel likes the cat. If someone likes the cat then the cat is blue. If someone is big then they visit the squirrel. If someone chases the squirrel then they visit the cat. If someone chases the mouse and the mouse is young then they visit the cat. If someone visits the cat and they are round then the cat likes the squirrel.
The cat does not chase the cat.
@0: The cat chases the squirrel.[(triple1)] The cat is round.[(triple2)] The cat likes the mouse.[(triple3)] The cat visits the mouse.[(triple4)] The mouse chases the cat.[(triple5)] The mouse is round.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel is blue.[(triple8)] The squirrel likes the mouse.[(triple9)] The squirrel visits the mouse.[(triple10)] @1: The cat visits the cat.[(((triple1) -> rule6))] The squirrel likes the cat.[(((triple1) -> rule3))] @2: The cat is blue.[(((((triple1) -> rule3)) -> rule4))] The cat likes the squirrel.[(((((triple1) -> rule6) triple2) -> rule8))]