The bald eagle is rough. The dog likes the lion. The lion needs the mouse. The mouse eats the dog. If something eats the dog and the dog eats the bald eagle then the dog needs the mouse. If something likes the bald eagle and the bald eagle likes the mouse then the bald eagle needs the lion. If something eats the lion and it likes the lion then the lion eats the bald eagle. If the dog needs the lion then the lion needs the bald eagle. If something eats the dog then the dog eats the mouse. If something is nice and it eats the lion then it needs the mouse. If something is rough then it eats the bald eagle. If the lion is nice then the lion needs the bald eagle.
The bald eagle is not rough.
@0: The bald eagle is rough.[(triple1)] The dog likes the lion.[(triple2)] The lion needs the mouse.[(triple3)] The mouse eats the dog.[(triple4)] @1: The bald eagle eats the bald eagle.[(((triple1) -> rule7))] The dog eats the mouse.[(((triple4) -> rule5))]