The bald eagle chases the rabbit. The bald eagle is big. The bald eagle is green. The mouse chases the bald eagle. The mouse likes the rabbit. The rabbit is rough. The rabbit likes the mouse. The squirrel is big. The squirrel likes the bald eagle. The squirrel needs the rabbit. If something needs the mouse then the mouse is big. If something is rough then it chases the mouse. If something chases the mouse then the mouse chases the squirrel. If something is green and it chases the mouse then the mouse chases the rabbit. All big things are rough. If something chases the mouse and the mouse chases the rabbit then the rabbit needs the mouse. If something likes the rabbit and the rabbit is cold then it likes the squirrel. If something likes the bald eagle and the bald eagle needs the rabbit then the bald eagle chases the mouse. If something is green and it likes the bald eagle then it likes the rabbit.
The rabbit is not big.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse likes the rabbit.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the mouse.[(triple7)] The squirrel is big.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The bald eagle is rough.[(((triple2) -> rule5))] The rabbit chases the mouse.[(((triple6) -> rule2))] The squirrel is rough.[(((triple8) -> rule5))] @2: The bald eagle chases the mouse.[(((((triple2) -> rule5)) -> rule2))] The mouse chases the squirrel.[(((((triple6) -> rule2)) -> rule3) OR ((((((triple2) -> rule5)) -> rule2)) -> rule3) OR ((((((triple8) -> rule5)) -> rule2)) -> rule3) OR ((((((((((((triple6) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((((((((((triple2) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((((((((((triple8) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule2)) -> rule3))] The squirrel chases the mouse.[(((((triple8) -> rule5)) -> rule2))] @3: The mouse chases the rabbit.[(((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4))] @4: The rabbit needs the mouse.[(((((triple6) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple2) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6) OR ((((((triple8) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6))] @5: The mouse is big.[(((((((triple6) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1) OR ((((((((triple2) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1) OR ((((((((triple8) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1))] @6: The mouse is rough.[(((((((((triple6) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple2) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5) OR ((((((((((triple8) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5))] @7: The mouse chases the mouse.[(((((((((((triple6) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((((((((triple2) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule2) OR ((((((((((((triple8) -> rule5)) -> rule2) ((triple3 ((((triple2) -> rule5)) -> rule2)) -> rule4)) -> rule6)) -> rule1)) -> rule5)) -> rule2))]