The cat likes the squirrel. The squirrel is blue. The squirrel sees the cat. If the cat sees the squirrel then the cat eats the squirrel. If something likes the squirrel and it likes the cat then the cat sees the squirrel. If something sees the cat and the cat is cold then the cat likes the squirrel. If something likes the squirrel then it is round. If something is red then it likes the squirrel. If something likes the squirrel and the squirrel sees the cat then the cat is red. If something is red then it sees the squirrel. If something likes the squirrel then it eats the cat.
The squirrel does not see the cat.
@0: The cat likes the squirrel.[(triple1)] The squirrel is blue.[(triple2)] The squirrel sees the cat.[(triple3)] @1: The cat eats the cat.[(((triple1) -> rule8))] The cat is red.[(((triple1 triple3) -> rule6))] The cat is round.[(((triple1) -> rule4))] @2: The cat sees the squirrel.[(((((triple1 triple3) -> rule6)) -> rule7))] @3: The cat eats the squirrel.[(((((((triple1 triple3) -> rule6)) -> rule7)) -> rule1))]