The bald eagle likes the rabbit. The mouse is rough. The rabbit eats the squirrel. The rabbit is not rough. The squirrel eats the bald eagle. The squirrel eats the rabbit. The squirrel is not red. If the mouse likes the bald eagle then the mouse does not eat the bald eagle. If the rabbit is young then the rabbit is not rough. If something needs the mouse then the mouse needs the squirrel. If something eats the bald eagle then the bald eagle does not eat the mouse. If something likes the rabbit then it is blue. If something is blue and it does not eat the mouse then the mouse likes the rabbit. If the mouse is not young then the mouse likes the rabbit. If something is blue then it is rough.
The mouse needs the squirrel.
@0: The bald eagle likes the rabbit.[(triple1)] The mouse is rough.[(triple2 OR ((((((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6)) -> rule5)) -> rule8))] The rabbit eats the squirrel.[(triple3)] The rabbit is not rough.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel eats the rabbit.[(triple6)] The squirrel is not red.[(triple7)] @1: The bald eagle does not eat the mouse.[(((triple5) -> rule4))] The bald eagle is blue.[(((triple1) -> rule5))] @2: The bald eagle is rough.[(((((triple1) -> rule5)) -> rule8))] The mouse likes the rabbit.[(((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6))] @3: The mouse is blue.[(((((((triple1) -> rule5) ((triple5) -> rule4)) -> rule6)) -> rule5))]