The cat sees the squirrel. The squirrel sees the cat. If someone visits the cat and the cat is young then they eat the squirrel. If someone eats the squirrel and the squirrel sees the cat then the squirrel is round. If someone sees the cat and the cat sees the squirrel then they eat the squirrel.
The squirrel is not round.
@0: The cat sees the squirrel.[(triple1)] The squirrel sees the cat.[(triple2)] @1: The squirrel eats the squirrel.[(((triple2 triple1) -> rule3))] @2: The squirrel is round.[(((((triple2 triple1) -> rule3) triple2) -> rule2))]