The bald eagle is green. The bald eagle likes the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat chases the squirrel. The cat is round. The cat likes the bald eagle. The cat likes the cow. The cow likes the bald eagle. The cow likes the squirrel. The squirrel chases the bald eagle. The squirrel visits the cat. If something chases the cow and the cow is green then it is nice. If something is red then it visits the squirrel. If the cat is round then the cat likes the bald eagle. If the cat is nice then the cat chases the squirrel. If the squirrel chases the bald eagle then the squirrel likes the cow. If something is green and it likes the squirrel then it visits the squirrel. If something visits the squirrel then it likes the squirrel. If the cow visits the squirrel and the cow likes the cat then the cow likes the squirrel.
The cat does not like the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the squirrel.[(triple5)] The cat is round.[(triple6)] The cat likes the bald eagle.[(triple7 OR ((triple6) -> rule3))] The cat likes the cow.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow likes the squirrel.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The squirrel likes the cow.[(((triple11) -> rule5))]