The squirrel is green. The squirrel likes the tiger. The tiger is red. If someone chases the squirrel and the squirrel visits the tiger then the squirrel chases the tiger. If the squirrel visits the tiger and the squirrel likes the tiger then the squirrel does not chase the tiger. If someone visits the tiger then they are not big. If someone visits the squirrel and the squirrel chases the tiger then the squirrel is green. If someone visits the squirrel then the squirrel visits the tiger. If the tiger is blue and the tiger is kind then the tiger chases the squirrel. If someone chases the squirrel and the squirrel visits the tiger then they are red. If someone likes the tiger then they visit the squirrel.
The tiger chases the squirrel.
@0: The squirrel is green.[(triple1)] The squirrel likes the tiger.[(triple2)] The tiger is red.[(triple3)] @1: The squirrel visits the squirrel.[(((triple2) -> rule8))] @2: The squirrel visits the tiger.[(((((triple2) -> rule8)) -> rule5))] @3: The squirrel does not chase the tiger.[(((((((triple2) -> rule8)) -> rule5) triple2) -> rule2))] The squirrel is not big.[(((((((triple2) -> rule8)) -> rule5)) -> rule3))]