The bald eagle visits the cat. The cat likes the bald eagle. The cow likes the cat. The lion is nice. If something likes the bald eagle and it is young then the bald eagle is round. If the bald eagle likes the cat and the cat is not red then the bald eagle visits the cat. If something is red then it does not chase the cat. If something likes the cow and the cow likes the bald eagle then the bald eagle is not nice. If something chases the bald eagle and the bald eagle is red then it visits the lion. If the cow likes the cat then the cat is green. If something is green and it visits the cat then it does not chase the bald eagle. If the cat is green then the cat visits the cow.
The cat does not visit the cow.
@0: The bald eagle visits the cat.[(triple1)] The cat likes the bald eagle.[(triple2)] The cow likes the cat.[(triple3)] The lion is nice.[(triple4)] @1: The cat is green.[(((triple3) -> rule6))] @2: The cat visits the cow.[(((((triple3) -> rule6)) -> rule8))]