The bald eagle needs the cat. The cat needs the bald eagle. If something eats the cat then the cat does not visit the bald eagle. If the cat eats the bald eagle then the cat does not visit the bald eagle. If something needs the bald eagle then the bald eagle is rough. If something is rough then it visits the cat. If something needs the cat then the cat eats the bald eagle. If something needs the cat then it is rough. If something eats the bald eagle then it is rough. If something needs the cat then the cat needs the bald eagle.
The cat needs the bald eagle.
@0: The bald eagle needs the cat.[(triple1)] The cat needs the bald eagle.[(triple2 OR ((triple1) -> rule8))] @1: The bald eagle is rough.[(((triple1) -> rule6) OR ((triple2) -> rule3) OR ((((triple1) -> rule8)) -> rule3))] The cat eats the bald eagle.[(((triple1) -> rule5))] @2: The bald eagle visits the cat.[(((((triple1) -> rule6)) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((((triple1) -> rule8)) -> rule3)) -> rule4))] The cat does not visit the bald eagle.[(((((triple1) -> rule5)) -> rule2))] The cat is rough.[(((((triple1) -> rule5)) -> rule7))] @3: The cat visits the cat.[(((((((triple1) -> rule5)) -> rule7)) -> rule4))]