The squirrel chases the tiger. The tiger visits the squirrel. If the squirrel chases the tiger and the tiger likes the squirrel then the tiger is nice. If the tiger chases the squirrel and the tiger is kind then the tiger is red. If something chases the squirrel then the squirrel chases the tiger. If something likes the squirrel then the squirrel chases the tiger. If something chases the squirrel then it does not chase the tiger. If something is red and it chases the squirrel then it is big. If something chases the squirrel and it visits the tiger then the squirrel does not visit the tiger. If something chases the tiger then the tiger likes the squirrel.
The tiger likes the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The tiger visits the squirrel.[(triple2)] @1: The tiger likes the squirrel.[(((triple1) -> rule8))] @2: The tiger is nice.[(((triple1 ((triple1) -> rule8)) -> rule1))]