The cow chases the squirrel. The cow chases the tiger. The cow eats the squirrel. The cow eats the tiger. The cow is nice. The cow is round. The cow visits the squirrel. The cow visits the tiger. The squirrel chases the tiger. The squirrel visits the cow. The tiger chases the squirrel. The tiger eats the cow. The tiger is kind. The tiger is nice. The tiger visits the cow. The tiger visits the squirrel. If something chases the cow and it is round then the cow is round. If the squirrel eats the cow then the cow chases the squirrel. If something eats the cow then it is kind. If something visits the tiger then it eats the tiger. If something chases the squirrel and it eats the squirrel then it is red. If something chases the tiger and it is nice then it eats the cow. If something is nice and it chases the cow then it is kind. If the tiger eats the squirrel and the tiger is kind then the squirrel eats the tiger.
The tiger does not eat the tiger.
@0: The cow chases the squirrel.[(triple1)] The cow chases the tiger.[(triple2)] The cow eats the squirrel.[(triple3)] The cow eats the tiger.[(triple4 OR ((triple8) -> rule4))] The cow is nice.[(triple5)] The cow is round.[(triple6)] The cow visits the squirrel.[(triple7)] The cow visits the tiger.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel visits the cow.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the cow.[(triple12)] The tiger is kind.[(triple13 OR ((triple12) -> rule3))] The tiger is nice.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The cow eats the cow.[(((triple2 triple5) -> rule6))] The cow is red.[(((triple1 triple3) -> rule5))] @2: The cow is kind.[(((((triple2 triple5) -> rule6)) -> rule3))]