The bald eagle visits the cat. The cat visits the bald eagle. The mouse needs the bald eagle. If someone needs the bald eagle and they do not visit the cat then the bald eagle is green. If someone is green then they eat the bald eagle. If the cat eats the bald eagle then the cat needs the mouse. If the cat eats the mouse and the bald eagle does not visit the cat then the cat visits the mouse. If someone eats the cat then they are not cold. If someone visits the mouse then they visit the bald eagle. If someone visits the bald eagle and they eat the mouse then the mouse visits the bald eagle. If someone visits the cat then the cat is green.
The mouse does not eat the bald eagle.
@0: The bald eagle visits the cat.[(triple1)] The cat visits the bald eagle.[(triple2)] The mouse needs the bald eagle.[(triple3)] @1: The cat is green.[(((triple1) -> rule8))] @2: The cat eats the bald eagle.[(((((triple1) -> rule8)) -> rule2))] @3: The cat needs the mouse.[(((((((triple1) -> rule8)) -> rule2)) -> rule3))]