The bald eagle needs the rabbit. The bald eagle visits the squirrel. The rabbit chases the bald eagle. The rabbit needs the bald eagle. The squirrel is green. The squirrel needs the bald eagle. The squirrel needs the rabbit. If someone visits the squirrel then the squirrel needs the rabbit. If someone visits the squirrel and the squirrel chases the rabbit then they chase the squirrel. If someone visits the squirrel then they visit the rabbit. If someone visits the squirrel then they need the bald eagle. If someone visits the rabbit then they visit the bald eagle. If someone visits the bald eagle then the bald eagle is young. If someone visits the rabbit and they need the bald eagle then the rabbit visits the bald eagle. If someone chases the rabbit then they are young.
The bald eagle does not visit the bald eagle.
@0: The bald eagle needs the rabbit.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit needs the bald eagle.[(triple4)] The squirrel is green.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel needs the rabbit.[(triple7 OR ((triple2) -> rule1))] @1: The bald eagle needs the bald eagle.[(((triple2) -> rule4))] The bald eagle visits the rabbit.[(((triple2) -> rule3))] @2: The bald eagle visits the bald eagle.[(((((triple2) -> rule3)) -> rule5))] The rabbit visits the bald eagle.[(((((triple2) -> rule3) ((triple2) -> rule4)) -> rule7))] @3: The bald eagle is young.[(((((((triple2) -> rule3)) -> rule5)) -> rule6) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule7)) -> rule6))]