The cow chases the dog. The cow chases the tiger. The cow is kind. The cow needs the lion. The dog chases the cow. The dog is round. The dog visits the lion. The lion is not red. The lion is rough. The lion is not round. The lion needs the cow. The lion needs the tiger. The lion visits the tiger. The tiger is not rough. The tiger needs the dog. The tiger needs the lion. If the tiger needs the dog and the tiger chases the cow then the cow does not need the dog. If someone needs the lion then they visit the lion.
The tiger is round.
@0: The cow chases the dog.[(triple1)] The cow chases the tiger.[(triple2)] The cow is kind.[(triple3)] The cow needs the lion.[(triple4)] The dog chases the cow.[(triple5)] The dog is round.[(triple6)] The dog visits the lion.[(triple7)] The lion is not red.[(triple8)] The lion is not round.[(triple10)] The lion is rough.[(triple9)] The lion needs the cow.[(triple11)] The lion needs the tiger.[(triple12)] The lion visits the tiger.[(triple13)] The tiger is not rough.[(triple14)] The tiger needs the dog.[(triple15)] The tiger needs the lion.[(triple16)] @1: The cow visits the lion.[(((triple4) -> rule2))] The tiger visits the lion.[(((triple16) -> rule2))]