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