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