The squirrel eats the tiger. The tiger eats the squirrel. If the tiger sees the squirrel and the squirrel is nice then the tiger does not eat the squirrel. If something is blue then it sees the squirrel. If something eats the tiger then the tiger is round. If the tiger is round then the tiger visits the squirrel. If something eats the squirrel and it does not see the squirrel then the squirrel sees the tiger. If something visits the squirrel and the squirrel eats the tiger then the squirrel sees the tiger.
The squirrel is nice.
@0: The squirrel eats the tiger.[(triple1)] The tiger eats the squirrel.[(triple2)] @1: The tiger is round.[(((triple1) -> rule3))] @2: The tiger visits the squirrel.[(((((triple1) -> rule3)) -> rule4))] @3: The squirrel sees the tiger.[(((((((triple1) -> rule3)) -> rule4) triple1) -> rule6))]