The bald eagle is cold. The mouse visits the bald eagle. If the bald eagle is cold then the bald eagle sees the mouse. If the mouse sees the bald eagle then the bald eagle is blue. If someone visits the bald eagle then they need the bald eagle. Cold people are rough. If someone visits the mouse then they see the bald eagle. If someone sees the mouse then they visit the bald eagle.
The mouse does not visit the bald eagle.
@0: The bald eagle is cold.[(triple1)] The mouse visits the bald eagle.[(triple2)] @1: The bald eagle is rough.[(((triple1) -> rule4))] The bald eagle sees the mouse.[(((triple1) -> rule1))] The mouse needs the bald eagle.[(((triple2) -> rule3))] @2: The bald eagle visits the bald eagle.[(((((triple1) -> rule1)) -> rule6))] @3: The bald eagle needs the bald eagle.[(((((((triple1) -> rule1)) -> rule6)) -> rule3))]