The squirrel chases the tiger. The tiger eats the squirrel. The tiger is round. If the squirrel chases the tiger then the squirrel eats the tiger. If something is big and it chases the tiger then the tiger sees the squirrel. If something eats the tiger then it is red. If something chases the squirrel then the squirrel is red. If something is red then it does not see the tiger. If something eats the squirrel and the squirrel does not see the tiger then the squirrel is nice. If something sees the tiger and the tiger is not red then the tiger eats the squirrel. If the tiger chases the squirrel and the squirrel eats the tiger then the tiger eats the squirrel.
The squirrel does not see the tiger.
@0: The squirrel chases the tiger.[(triple1)] The tiger eats the squirrel.[(triple2)] The tiger is round.[(triple3)] @1: The squirrel eats the tiger.[(((triple1) -> rule1))] @2: The squirrel is red.[(((((triple1) -> rule1)) -> rule3))] @3: The squirrel does not see the tiger.[(((((((triple1) -> rule1)) -> rule3)) -> rule5))] @4: The squirrel is nice.[(((triple2 ((((((triple1) -> rule1)) -> rule3)) -> rule5)) -> rule6))]