The bald eagle visits the cow. The bear eats the cow. The cow is red. If something is red then it visits the bear. If something is cold and it visits the bear then the bear visits the cow. If something is young and it visits the bear then the bear chases the bald eagle. If something visits the cow then it is red. If the bear eats the bald eagle then the bald eagle visits the bear. Young things are cold. If something chases the bear then the bear chases the bald eagle. If something visits the bear and the bear visits the bald eagle then the bald eagle chases the bear.
The bald eagle visits the bear.
@0: The bald eagle visits the cow.[(triple1)] The bear eats the cow.[(triple2)] The cow is red.[(triple3)] @1: The bald eagle is red.[(((triple1) -> rule4))] The cow visits the bear.[(((triple3) -> rule1))] @2: The bald eagle visits the bear.[(((((triple1) -> rule4)) -> rule1))]