The bald eagle visits the dog. The cow chases the dog. The cow sees the mouse. The dog chases the cow. The dog is round. The dog visits the bald eagle. The mouse chases the dog. The mouse is round. The mouse sees the bald eagle. The mouse visits the dog. If someone chases the cow and the cow is big then the cow does not see the dog. If someone sees the cow and they chase the dog then they are rough. If someone sees the dog then they are cold. If the bald eagle chases the dog and the bald eagle visits the cow then the dog does not visit the bald eagle. If someone sees the mouse then they see the cow. If the bald eagle sees the cow then the cow does not chase the bald eagle. If someone visits the cow and they do not visit the dog then the cow is rough. If the bald eagle chases the mouse and the bald eagle is cold then the mouse sees the dog.
The bald eagle is not cold.
@0: The bald eagle visits the dog.[(triple1)] The cow chases the dog.[(triple2)] The cow sees the mouse.[(triple3)] The dog chases the cow.[(triple4)] The dog is round.[(triple5)] The dog visits the bald eagle.[(triple6)] The mouse chases the dog.[(triple7)] The mouse is round.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse visits the dog.[(triple10)] @1: The cow sees the cow.[(((triple3) -> rule5))] @2: The cow is rough.[(((((triple3) -> rule5) triple2) -> rule2))]