The bald eagle does not eat the cow. The bald eagle eats the squirrel. The bald eagle is not green. The cow eats the bald eagle. The cow eats the squirrel. The cow is not cold. The squirrel chases the bald eagle. The squirrel does not eat the cow. The squirrel is not blue. The squirrel is cold. The squirrel is kind. The squirrel visits the bald eagle. If someone chases the squirrel and they are kind then the squirrel is not blue. If someone chases the bald eagle then they chase the cow. If someone chases the bald eagle then they are kind. If someone chases the cow then the cow chases the bald eagle. If someone eats the bald eagle and the bald eagle is green then they visit the cow. If the bald eagle is young and the bald eagle is green then the bald eagle eats the cow.
The cow does not chase the bald eagle.
@0: The bald eagle does not eat the cow.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is not green.[(triple3)] The cow eats the bald eagle.[(triple4)] The cow eats the squirrel.[(triple5)] The cow is not cold.[(triple6)] The squirrel chases the bald eagle.[(triple7)] The squirrel does not eat the cow.[(triple8)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11 OR ((triple7) -> rule3))] The squirrel is not blue.[(triple9)] The squirrel visits the bald eagle.[(triple12)] @1: The squirrel chases the cow.[(((triple7) -> rule2))] @2: The cow chases the bald eagle.[(((((triple7) -> rule2)) -> rule4))] @3: The cow chases the cow.[(((((((triple7) -> rule2)) -> rule4)) -> rule2))] The cow is kind.[(((((((triple7) -> rule2)) -> rule4)) -> rule3))]