The bald eagle chases the rabbit. The bald eagle is round. The bald eagle needs the rabbit. The cat is nice. The rabbit visits the squirrel. The squirrel visits the bald eagle. The squirrel visits the rabbit. If something needs the bald eagle and it is round then the bald eagle does not need the rabbit. If something is blue then it chases the bald eagle. If something visits the bald eagle then the bald eagle is blue. If something visits the cat then the cat visits the bald eagle. If something visits the rabbit and it is not green then the rabbit needs the bald eagle. If the bald eagle does not need the rabbit then the rabbit visits the squirrel.
The cat needs the squirrel.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle needs the rabbit.[(triple3)] The cat is nice.[(triple4)] The rabbit visits the squirrel.[(triple5)] The squirrel visits the bald eagle.[(triple6)] The squirrel visits the rabbit.[(triple7)] @1: The bald eagle is blue.[(((triple6) -> rule3))] @2: The bald eagle chases the bald eagle.[(((((triple6) -> rule3)) -> rule2))]