The bald eagle is blue. The cow visits the tiger. The mouse is not cold. The tiger chases the bald eagle. If someone is blue then they visit the cow. If someone needs the bald eagle and they do not need the mouse then they are not cold. If someone is blue and they visit the cow then they are cold. If the cow chases the bald eagle and the bald eagle is red then the cow chases the mouse. If someone needs the bald eagle then the bald eagle chases the mouse. If someone is blue and they need the tiger then they need the cow.
The bald eagle visits the cow.
@0: The bald eagle is blue.[(triple1)] The cow visits the tiger.[(triple2)] The mouse is not cold.[(triple3)] The tiger chases the bald eagle.[(triple4)] @1: The bald eagle visits the cow.[(((triple1) -> rule1))] @2: The bald eagle is cold.[(((triple1 ((triple1) -> rule1)) -> rule3))]