The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle visits the mouse. The dog sees the rabbit. The mouse does not eat the bald eagle. The mouse is nice. The rabbit is blue. If the dog is not rough then the dog sees the rabbit. If something sees the rabbit then the rabbit does not visit the dog.
The mouse eats the bald eagle.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle visits the mouse.[(triple3)] The dog sees the rabbit.[(triple4)] The mouse does not eat the bald eagle.[(triple5)] The mouse is nice.[(triple6)] The rabbit is blue.[(triple7)] @1: The rabbit does not visit the dog.[(((triple4) -> rule2))]