The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle is nice. The bald eagle sees the dog. The cow eats the bald eagle. The cow eats the dog. The cow is cold. The cow needs the bald eagle. The cow sees the bald eagle. The cow sees the dog. The dog eats the bald eagle. The dog eats the cow. The dog is green. The dog is rough. The dog needs the cow. The dog sees the bald eagle. If something sees the bald eagle then the bald eagle needs the cow. If something is nice then it is cold. If something needs the bald eagle then the bald eagle eats the cow. If something sees the cow and it eats the cow then the cow is green. If something is nice and it needs the dog then the dog sees the cow. Green things are cold. If something sees the cow then the cow is green. If something sees the cow then it eats the cow.
The dog does not see the bald eagle.
@0: The bald eagle eats the cow.[(triple1 OR ((triple8) -> rule3))] The bald eagle eats the dog.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the dog.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the dog.[(triple6)] The cow is cold.[(triple7)] The cow needs the bald eagle.[(triple8)] The cow sees the bald eagle.[(triple9)] The cow sees the dog.[(triple10)] The dog eats the bald eagle.[(triple11)] The dog eats the cow.[(triple12)] The dog is green.[(triple13)] The dog is rough.[(triple14)] The dog needs the cow.[(triple15)] The dog sees the bald eagle.[(triple16)] @1: The bald eagle is cold.[(((triple3) -> rule2))] The bald eagle needs the cow.[(((triple16) -> rule1) OR ((triple9) -> rule1))] The dog is cold.[(((triple13) -> rule6))]