The cow is big. The cow is green. The cow is nice. The cow does not see the dog. The cow does not see the lion. The dog eats the lion. The dog is big. The dog is green. The dog does not see the lion. The lion is not big. The lion is cold. The lion is green. The lion is nice. The lion likes the dog. The lion does not see the cow. If the cow eats the lion then the lion eats the cow. If something is green then it eats the lion. If something is cold then it sees the dog.
The lion eats the cow.
@0: The cow does not see the dog.[(triple4)] The cow does not see the lion.[(triple5)] The cow is big.[(triple1)] The cow is green.[(triple2)] The cow is nice.[(triple3)] The dog does not see the lion.[(triple9)] The dog eats the lion.[(triple6 OR ((triple8) -> rule2))] The dog is big.[(triple7)] The dog is green.[(triple8)] The lion does not see the cow.[(triple15)] The lion is cold.[(triple11)] The lion is green.[(triple12)] The lion is nice.[(triple13)] The lion is not big.[(triple10)] The lion likes the dog.[(triple14)] @1: The cow eats the lion.[(((triple2) -> rule2))] The lion eats the lion.[(((triple12) -> rule2))] The lion sees the dog.[(((triple11) -> rule3))] @2: The lion eats the cow.[(((((triple2) -> rule2)) -> rule1))]