The cow is nice. The cow visits the squirrel. The cow visits the tiger. The squirrel chases the cow. The squirrel chases the tiger. The squirrel is nice. The squirrel needs the tiger. The squirrel visits the cow. The squirrel visits the tiger. The tiger chases the cow. The tiger chases the squirrel. The tiger is blue. The tiger is cold. The tiger needs the cow. The tiger visits the cow. The tiger visits the squirrel. If the cow visits the tiger and the cow chases the tiger then the cow is red. If something chases the squirrel then the squirrel needs the tiger.
The cow is not red.
@0: The cow is nice.[(triple1)] The cow visits the squirrel.[(triple2)] The cow visits the tiger.[(triple3)] The squirrel chases the cow.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel is nice.[(triple6)] The squirrel needs the tiger.[(triple7 OR ((triple11) -> rule2))] The squirrel visits the cow.[(triple8)] The squirrel visits the tiger.[(triple9)] The tiger chases the cow.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger is blue.[(triple12)] The tiger is cold.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the squirrel.[(triple16)]