The bald eagle is not cold. The bald eagle does not see the bear. The bald eagle does not visit the bear. The bear chases the bald eagle. The bear is kind. The bear visits the cow. The cow chases the bald eagle. The cow chases the bear. The cow chases the mouse. The cow is round. The cow does not visit the bear. The cow does not visit the mouse. The mouse chases the bald eagle. The mouse sees the bear. The mouse visits the bear. If someone is round then they are kind. Round people are kind. If someone is cold then they visit the mouse. If someone sees the cow and the cow does not see the bear then the bear sees the cow. If someone sees the cow then they are not blue. If someone sees the bald eagle then they are not round. If someone is round then they see the cow. If someone is kind and not blue then they see the mouse.
The bald eagle sees the cow.
@0: The bald eagle does not see the bear.[(triple2)] The bald eagle does not visit the bear.[(triple3)] The bald eagle is not cold.[(triple1)] The bear chases the bald eagle.[(triple4)] The bear is kind.[(triple5)] The bear visits the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the bear.[(triple8)] The cow chases the mouse.[(triple9)] The cow does not visit the bear.[(triple11)] The cow does not visit the mouse.[(triple12)] The cow is round.[(triple10)] The mouse chases the bald eagle.[(triple13)] The mouse sees the bear.[(triple14)] The mouse visits the bear.[(triple15)] @1: The cow is kind.[(((triple10) -> rule1) OR ((triple10) -> rule2))] The cow sees the cow.[(((triple10) -> rule7))] @2: The cow is not blue.[(((((triple10) -> rule7)) -> rule5))] @3: The cow sees the mouse.[(((((triple10) -> rule1) ((((triple10) -> rule7)) -> rule5)) -> rule8) OR ((((triple10) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule8))]