The bald eagle chases the mouse. The bald eagle eats the cat. The cat eats the mouse. The mouse eats the bald eagle. The mouse is blue. The mouse needs the tiger. The tiger is nice. If something is rough then it eats the cat. If something eats the mouse and the mouse needs the cat then it eats the bald eagle. If something eats the cat then it needs the cat. If the bald eagle needs the mouse and the bald eagle eats the cat then the bald eagle chases the tiger. If something is rough then it chases the bald eagle. If something eats the bald eagle then it is rough. If something eats the tiger then the tiger eats the bald eagle. If something needs the cat then the cat chases the tiger. If something eats the cat then the cat is young.
The bald eagle is rough.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the cat.[(triple2)] The cat eats the mouse.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is blue.[(triple5)] The mouse needs the tiger.[(triple6)] The tiger is nice.[(triple7)] @1: The bald eagle needs the cat.[(((triple2) -> rule3))] The cat is young.[(((triple2) -> rule9) OR ((((((triple4) -> rule6)) -> rule1)) -> rule9) OR ((((((((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule6)) -> rule1)) -> rule9))] The mouse is rough.[(((triple4) -> rule6))] @2: The cat chases the tiger.[(((((triple2) -> rule3)) -> rule8) OR ((((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule8) OR ((((((((((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule6)) -> rule1)) -> rule3)) -> rule8))] The mouse chases the bald eagle.[(((((triple4) -> rule6)) -> rule5))] The mouse eats the cat.[(((((triple4) -> rule6)) -> rule1))] @3: The mouse needs the cat.[(((((((triple4) -> rule6)) -> rule1)) -> rule3))] @4: The cat eats the bald eagle.[(((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2))] @5: The cat is rough.[(((((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule6))] @6: The cat chases the bald eagle.[(((((((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule6)) -> rule5))] The cat eats the cat.[(((((((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule6)) -> rule1))] @7: The cat needs the cat.[(((((((((triple3 ((((((triple4) -> rule6)) -> rule1)) -> rule3)) -> rule2)) -> rule6)) -> rule1)) -> rule3))]