The bald eagle chases the cow. The bald eagle chases the dog. The bald eagle eats the cow. The bald eagle eats the dog. The bald eagle sees the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow sees the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog eats the cow. The dog is kind. The dog is rough. The dog sees the bald eagle. The dog sees the cow. If someone sees the dog and they eat the dog then they see the cow. If someone is cold then they see the bald eagle. If someone eats the dog then the dog eats the bald eagle. If the bald eagle sees the dog and the dog is cold then the bald eagle chases the cow. All rough people are cold. If someone is green and kind then they see the cow. If someone chases the cow then the cow sees the bald eagle. If someone chases the cow then they are rough.
The bald eagle does not see the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the dog.[(triple2)] The bald eagle eats the cow.[(triple3)] The bald eagle eats the dog.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow eats the bald eagle.[(triple7)] The cow sees the dog.[(triple8)] The dog chases the bald eagle.[(triple9)] The dog eats the bald eagle.[(triple10 OR ((triple4) -> rule3))] The dog eats the cow.[(triple11)] The dog is kind.[(triple12)] The dog is rough.[(triple13)] The dog sees the bald eagle.[(triple14 OR ((((triple13) -> rule5)) -> rule2))] The dog sees the cow.[(triple15)] @1: The bald eagle is rough.[(((triple1) -> rule8))] The cow sees the bald eagle.[(((triple1) -> rule7))] The dog is cold.[(((triple13) -> rule5))] @2: The bald eagle is cold.[(((((triple1) -> rule8)) -> rule5))] @3: The bald eagle sees the bald eagle.[(((((((triple1) -> rule8)) -> rule5)) -> rule2))]