The cow chases the lion. The cow eats the lion. The cow is red. The cow needs the dog. The cow needs the lion. The dog chases the cow. The dog chases the lion. The dog eats the lion. The dog needs the lion. The lion chases the cow. The lion chases the dog. The lion eats the dog. The lion is green. The lion is kind. The lion needs the cow. If the lion chases the cow and the lion is kind then the lion eats the cow. If something chases the dog and the dog is red then it eats the dog. If something eats the cow then the cow is rough.
The lion does not need the dog.
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is red.[(triple3)] The cow needs the dog.[(triple4)] The cow needs the lion.[(triple5)] The dog chases the cow.[(triple6)] The dog chases the lion.[(triple7)] The dog eats the lion.[(triple8)] The dog needs the lion.[(triple9)] The lion chases the cow.[(triple10)] The lion chases the dog.[(triple11)] The lion eats the dog.[(triple12)] The lion is green.[(triple13)] The lion is kind.[(triple14)] The lion needs the cow.[(triple15)] @1: The lion eats the cow.[(((triple10 triple14) -> rule1))] @2: The cow is rough.[(((((triple10 triple14) -> rule1)) -> rule3))]