The bald eagle is big. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow chases the bald eagle. The cow chases the squirrel. The cow is big. The cow is cold. The cow sees the squirrel. The cow visits the bald eagle. The cow visits the squirrel. The squirrel chases the bald eagle. The squirrel is big. If someone chases the squirrel then they visit the squirrel. If someone chases the squirrel and they are rough then they see the cow. If someone sees the cow then the cow chases the bald eagle. If the bald eagle is cold then the bald eagle is young. If someone is cold then they visit the squirrel. If the bald eagle visits the squirrel then the bald eagle is cold. If the squirrel visits the cow then the cow sees the bald eagle. If someone is cold then they see the cow.
The bald eagle does not visit the squirrel.
@0: The bald eagle is big.[(triple1)] The bald eagle sees the cow.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The cow chases the bald eagle.[(triple4 OR ((triple2) -> rule3) OR ((((triple7) -> rule8)) -> rule3))] The cow chases the squirrel.[(triple5)] The cow is big.[(triple6)] The cow is cold.[(triple7)] The cow sees the squirrel.[(triple8)] The cow visits the bald eagle.[(triple9)] The cow visits the squirrel.[(triple10 OR ((triple5) -> rule1) OR ((triple7) -> rule5))] The squirrel chases the bald eagle.[(triple11)] The squirrel is big.[(triple12)] @1: The cow sees the cow.[(((triple7) -> rule8))]