The bald eagle is kind. The bald eagle needs the mouse. The cow chases the bald eagle. The cow is blue. The dog chases the bald eagle. The dog chases the cow. The dog chases the mouse. The dog eats the mouse. The dog is green. The mouse needs the bald eagle. If the bald eagle eats the mouse and the mouse is nice then the mouse is rough. If something chases the bald eagle and the bald eagle is rough then the bald eagle eats the cow. If something chases the bald eagle then the bald eagle is rough. If something chases the cow and it is nice then the cow chases the mouse. If something needs the bald eagle then it is blue. If something eats the cow then it is green. If something chases the dog then the dog eats the cow. If something eats the dog and the dog chases the mouse then the dog needs the bald eagle. If something is green and it needs the mouse then the mouse eats the cow.
The mouse does not eat the cow.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the mouse.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow is blue.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the cow.[(triple6)] The dog chases the mouse.[(triple7)] The dog eats the mouse.[(triple8)] The dog is green.[(triple9)] The mouse needs the bald eagle.[(triple10)] @1: The bald eagle is rough.[(((triple3) -> rule3) OR ((triple5) -> rule3))] The mouse is blue.[(((triple10) -> rule5))] @2: The bald eagle eats the cow.[(((triple3 ((triple3) -> rule3)) -> rule2) OR ((triple3 ((triple5) -> rule3)) -> rule2) OR ((triple5 ((triple3) -> rule3)) -> rule2) OR ((triple5 ((triple5) -> rule3)) -> rule2))] @3: The bald eagle is green.[(((((triple3 ((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((triple3 ((triple5) -> rule3)) -> rule2)) -> rule6) OR ((((triple5 ((triple3) -> rule3)) -> rule2)) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule2)) -> rule6))] @4: The mouse eats the cow.[(((((((triple3 ((triple3) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9) OR ((((((triple3 ((triple5) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9) OR ((((((triple5 ((triple3) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9) OR ((((((triple5 ((triple5) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9))] @5: The mouse is green.[(((((((((triple3 ((triple3) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9)) -> rule6) OR ((((((((triple3 ((triple5) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9)) -> rule6) OR ((((((((triple5 ((triple3) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9)) -> rule6) OR ((((((((triple5 ((triple5) -> rule3)) -> rule2)) -> rule6) triple2) -> rule9)) -> rule6))]