The bald eagle chases the squirrel. The bald eagle visits the cat. The cat likes the bald eagle. The cat visits the bald eagle. The cow chases the squirrel. The cow is kind. The cow visits the bald eagle. The cow visits the cat. The squirrel chases the cat. The squirrel is blue. If someone likes the cow and the cow is kind then the cow likes the cat. If someone likes the bald eagle then the bald eagle is kind. If someone is cold then they visit the bald eagle. If someone likes the cow and they are blue then the cow likes the cat. If someone is rough and blue then they like the cow. If someone is red and they visit the squirrel then the squirrel chases the cat.
The cow does not visit the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle visits the cat.[(triple2)] The cat likes the bald eagle.[(triple3)] The cat visits the bald eagle.[(triple4)] The cow chases the squirrel.[(triple5)] The cow is kind.[(triple6)] The cow visits the bald eagle.[(triple7)] The cow visits the cat.[(triple8)] The squirrel chases the cat.[(triple9)] The squirrel is blue.[(triple10)] @1: The bald eagle is kind.[(((triple3) -> rule2))]