The bald eagle needs the cat. The cat needs the bald eagle. The mouse is kind. If the bald eagle chases the mouse and the bald eagle is blue then the mouse is round. If someone is cold then they visit the mouse. If someone chases the mouse then they do not visit the mouse. If someone is cold and they visit the mouse then the mouse does not chase the cat. If someone needs the cat and the cat needs the bald eagle then the cat is cold. If the cat does not visit the bald eagle then the bald eagle does not chase the mouse. If someone chases the bald eagle then the bald eagle does not chase the mouse. If someone chases the bald eagle and they visit the cat then the cat is kind.
The mouse chases the cat.
@0: The bald eagle needs the cat.[(triple1)] The cat needs the bald eagle.[(triple2)] The mouse is kind.[(triple3)] @1: The cat is cold.[(((triple1 triple2) -> rule5))] @2: The cat visits the mouse.[(((((triple1 triple2) -> rule5)) -> rule2))] @3: The mouse does not chase the cat.[(((((triple1 triple2) -> rule5) ((((triple1 triple2) -> rule5)) -> rule2)) -> rule4))]