The cow chases the squirrel. The cow is blue. The rabbit chases the tiger. The rabbit is kind. The rabbit needs the tiger. The rabbit visits the squirrel. The squirrel does not chase the rabbit. The tiger chases the squirrel. The tiger needs the squirrel. The tiger visits the cow. If someone chases the rabbit and the rabbit chases the cow then the cow does not chase the tiger. If the rabbit needs the tiger then the rabbit visits the squirrel.
The tiger needs the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The rabbit chases the tiger.[(triple3)] The rabbit is kind.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit visits the squirrel.[(triple6 OR ((triple5) -> rule2))] The squirrel does not chase the rabbit.[(triple7)] The tiger chases the squirrel.[(triple8)] The tiger needs the squirrel.[(triple9)] The tiger visits the cow.[(triple10)]