The bald eagle visits the mouse. The cow is red. The mouse is cold. The tiger chases the cow. If the bald eagle sees the cow and the bald eagle does not visit the cow then the bald eagle sees the tiger. If the mouse chases the bald eagle and the bald eagle does not see the cow then the bald eagle visits the tiger. If something is young then it chases the mouse. All cold things are young. If something sees the bald eagle and the bald eagle visits the tiger then the tiger is not red. If something visits the cow and it is not rough then it sees the bald eagle.
The mouse is young.
@0: The bald eagle visits the mouse.[(triple1)] The cow is red.[(triple2)] The mouse is cold.[(triple3)] The tiger chases the cow.[(triple4)] @1: The mouse is young.[(((triple3) -> rule4))] @2: The mouse chases the mouse.[(((((triple3) -> rule4)) -> rule3))]