The bald eagle likes the lion. The cow is blue. The lion does not visit the mouse. The mouse visits the cow. If the bald eagle likes the lion then the bald eagle visits the cow. If the mouse is blue and the mouse does not eat the lion then the mouse visits the cow.
The lion does not like the bald eagle.
@0: The bald eagle likes the lion.[(triple1)] The cow is blue.[(triple2)] The lion does not visit the mouse.[(triple3)] The mouse visits the cow.[(triple4)] @1: The bald eagle visits the cow.[(((triple1) -> rule1))]