The squirrel eats the tiger. The squirrel is cold. The squirrel is nice. The squirrel is red. The squirrel is round. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is nice. The tiger is round. The tiger visits the squirrel. If something chases the tiger and it is round then the tiger is big. If something visits the tiger and the tiger is red then the tiger is cold. If something visits the squirrel then it eats the tiger. If something eats the squirrel then the squirrel chases the tiger. If something chases the squirrel then the squirrel is big. If the squirrel eats the tiger then the squirrel visits the tiger.
The squirrel does not eat the squirrel.
@0: The squirrel eats the tiger.[(triple1)] The squirrel is cold.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4)] The squirrel is round.[(triple5)] The tiger chases the squirrel.[(triple6)] The tiger eats the squirrel.[(triple7)] The tiger is nice.[(triple8)] The tiger is round.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The squirrel chases the tiger.[(((triple7) -> rule4))] The squirrel is big.[(((triple6) -> rule5))] The squirrel visits the tiger.[(((triple1) -> rule6))] The tiger eats the tiger.[(((triple10) -> rule3))] @2: The tiger is big.[(((((triple7) -> rule4) triple5) -> rule1))]