The bear chases the lion. The bear is red. The cow eats the bear. The cow does not eat the lion. The cow is cold. The cow is green. The dog chases the lion. The dog does not eat the bear. The dog does not eat the cow. The dog is blue. The dog is cold. The lion chases the bear. The lion chases the cow. The lion eats the bear. The lion eats the dog. The lion is blue. If something chases the cow and the cow eats the lion then the cow is green. If something needs the dog then the dog chases the lion. If something chases the lion then the lion does not need the dog. If something eats the lion and it chases the cow then the cow does not eat the dog. If something is red and it does not chase the lion then it eats the dog. If something needs the bear then the bear is not green. If the lion eats the cow and the lion eats the dog then the dog does not need the bear. If the cow is cold and the cow is not green then the cow is not nice.
The dog eats the cow.
@0: The bear chases the lion.[(triple1)] The bear is red.[(triple2)] The cow does not eat the lion.[(triple4)] The cow eats the bear.[(triple3)] The cow is cold.[(triple5)] The cow is green.[(triple6)] The dog chases the lion.[(triple7)] The dog does not eat the bear.[(triple8)] The dog does not eat the cow.[(triple9)] The dog is blue.[(triple10)] The dog is cold.[(triple11)] The lion chases the bear.[(triple12)] The lion chases the cow.[(triple13)] The lion eats the bear.[(triple14)] The lion eats the dog.[(triple15)] The lion is blue.[(triple16)] @1: The lion does not need the dog.[(((triple1) -> rule3) OR ((triple7) -> rule3))]