The bald eagle chases the squirrel. The cow chases the squirrel. The dog chases the squirrel. The dog visits the bald eagle. The dog visits the squirrel. The squirrel is big. The squirrel is cold. If someone chases the cow and they eat the dog then they eat the bald eagle. If someone is green and they visit the dog then they eat the bald eagle. If someone visits the bald eagle then the bald eagle visits the dog. Big people are young. If someone is young then they chase the squirrel. If someone chases the squirrel then they visit the squirrel.
The dog does not visit the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The cow chases the squirrel.[(triple2)] The dog chases the squirrel.[(triple3)] The dog visits the bald eagle.[(triple4)] The dog visits the squirrel.[(triple5 OR ((triple3) -> rule6))] The squirrel is big.[(triple6)] The squirrel is cold.[(triple7)] @1: The bald eagle visits the dog.[(((triple4) -> rule3))] The bald eagle visits the squirrel.[(((triple1) -> rule6))] The cow visits the squirrel.[(((triple2) -> rule6))] The squirrel is young.[(((triple6) -> rule4))] @2: The squirrel chases the squirrel.[(((((triple6) -> rule4)) -> rule5))] @3: The squirrel visits the squirrel.[(((((((triple6) -> rule4)) -> rule5)) -> rule6))]