The cow chases the tiger. The cow is green. The cow is young. The cow visits the squirrel. The rabbit needs the cow. The rabbit visits the tiger. The squirrel is nice. The squirrel needs the rabbit. The squirrel needs the tiger. The tiger is round. If the squirrel chases the tiger then the tiger needs the cow. If something visits the tiger then it needs the cow. If something needs the tiger and the tiger needs the squirrel then the tiger chases the squirrel. If something chases the cow and it is big then it is nice. If the rabbit visits the tiger and the rabbit visits the cow then the rabbit needs the squirrel. If something visits the tiger then it visits the cow. If something chases the squirrel then it is nice. If something chases the squirrel and it is big then it chases the tiger.
The rabbit does not chase the tiger.
@0: The cow chases the tiger.[(triple1)] The cow is green.[(triple2)] The cow is young.[(triple3)] The cow visits the squirrel.[(triple4)] The rabbit needs the cow.[(triple5 OR ((triple6) -> rule2))] The rabbit visits the tiger.[(triple6)] The squirrel is nice.[(triple7)] The squirrel needs the rabbit.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger is round.[(triple10)] @1: The rabbit visits the cow.[(((triple6) -> rule6))] @2: The rabbit needs the squirrel.[(((triple6 ((triple6) -> rule6)) -> rule5))]