The cat eats the squirrel. The squirrel eats the cat. The squirrel is nice. The squirrel is round. The squirrel sees the tiger. The tiger is not nice. The tiger sees the cat. If the squirrel sees the tiger and the tiger does not chase the squirrel then the squirrel does not see the cat. If something chases the squirrel and it eats the squirrel then the squirrel chases the cat. If something sees the squirrel then it chases the tiger. If something sees the squirrel then the squirrel chases the tiger. If the squirrel is kind then the squirrel chases the tiger. If something sees the tiger then it sees the squirrel. If the tiger does not see the cat then the tiger is kind. If the tiger eats the squirrel then the tiger is cold.
The squirrel is young.
@0: The cat eats the squirrel.[(triple1)] The squirrel eats the cat.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is round.[(triple4)] The squirrel sees the tiger.[(triple5)] The tiger is not nice.[(triple6)] The tiger sees the cat.[(triple7)] @1: The squirrel sees the squirrel.[(((triple5) -> rule6))] @2: The squirrel chases the tiger.[(((((triple5) -> rule6)) -> rule3) OR ((((triple5) -> rule6)) -> rule4))]