The cow does not visit the squirrel. The squirrel is big. The squirrel is nice. The squirrel is red. The squirrel does not see the tiger. The tiger does not need the cow. The tiger needs the squirrel. If something is blue and big then it visits the cow. Nice things are red. Round things are big.
The tiger does not visit the cow.
@0: The cow does not visit the squirrel.[(triple1)] The squirrel does not see the tiger.[(triple5)] The squirrel is big.[(triple2)] The squirrel is nice.[(triple3)] The squirrel is red.[(triple4 OR ((triple3) -> rule2))] The tiger does not need the cow.[(triple6)] The tiger needs the squirrel.[(triple7)]