The cat chases the tiger. The cat is rough. The cat visits the tiger. The squirrel chases the tiger. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel visits the tiger. The tiger chases the cat. The tiger eats the cat. The tiger eats the squirrel. The tiger is big. The tiger is rough. The tiger is young. The tiger visits the cat. The tiger visits the squirrel. If the tiger is young then the tiger chases the squirrel. If something eats the squirrel then it eats the cat. If something eats the squirrel then it is rough. If something chases the cat then the cat eats the squirrel. If something visits the tiger then the tiger eats the cat. If something is nice and it chases the squirrel then it visits the squirrel.
The tiger chases the tiger.
@0: The cat chases the tiger.[(triple1)] The cat is rough.[(triple2 OR ((((triple9) -> rule4)) -> rule3))] The cat visits the tiger.[(triple3)] The squirrel chases the tiger.[(triple4)] The squirrel is big.[(triple5)] The squirrel is nice.[(triple6)] The squirrel is red.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger eats the cat.[(triple10 OR ((triple11) -> rule2) OR ((triple3) -> rule5) OR ((triple8) -> rule5))] The tiger eats the squirrel.[(triple11)] The tiger is big.[(triple12)] The tiger is rough.[(triple13 OR ((triple11) -> rule3))] The tiger is young.[(triple14)] The tiger visits the cat.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cat eats the squirrel.[(((triple9) -> rule4))] The tiger chases the squirrel.[(((triple14) -> rule1))] @2: The cat eats the cat.[(((((triple9) -> rule4)) -> rule2))]