The cow eats the lion. The cow needs the lion. The dog eats the lion. The dog is big. The dog needs the lion. The lion is young. The lion needs the cow. If someone needs the dog then they chase the lion. All big people are cold. If the lion chases the dog then the lion eats the cow. If the cow is cold then the cow chases the lion. If someone is young then they are red. If someone needs the lion then they chase the cow. If someone eats the cow and the cow is big then they chase the dog. If the lion eats the cow then the cow needs the dog.
The cow does not need the lion.
@0: The cow eats the lion.[(triple1)] The cow needs the lion.[(triple2)] The dog eats the lion.[(triple3)] The dog is big.[(triple4)] The dog needs the lion.[(triple5)] The lion is young.[(triple6)] The lion needs the cow.[(triple7)] @1: The cow chases the cow.[(((triple2) -> rule6))] The dog chases the cow.[(((triple5) -> rule6))] The dog is cold.[(((triple4) -> rule2))] The lion is red.[(((triple6) -> rule5))]