The bald eagle chases the squirrel. The cat eats the squirrel. The cat is rough. The cat is young. The cat does not see the bald eagle. The squirrel is blue. The tiger chases the squirrel. If the tiger eats the bald eagle then the tiger chases the bald eagle. If something chases the cat then the cat eats the bald eagle. If the cat sees the squirrel and the cat is not rough then the squirrel is big. If something sees the bald eagle and it does not chase the cat then the cat chases the bald eagle. If something eats the tiger then the tiger is young. If something chases the squirrel then it eats the tiger. If something eats the squirrel then it eats the bald eagle. If the squirrel sees the bald eagle and the cat does not chase the squirrel then the cat does not eat the squirrel. If something is young then it eats the squirrel.
The squirrel does not eat the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The cat does not see the bald eagle.[(triple5)] The cat eats the squirrel.[(triple2 OR ((triple4) -> rule9))] The cat is rough.[(triple3)] The cat is young.[(triple4)] The squirrel is blue.[(triple6)] The tiger chases the squirrel.[(triple7)] @1: The bald eagle eats the tiger.[(((triple1) -> rule6))] The cat eats the bald eagle.[(((triple2) -> rule7) OR ((((triple4) -> rule9)) -> rule7))] The tiger eats the tiger.[(((triple7) -> rule6))] @2: The tiger is young.[(((((triple1) -> rule6)) -> rule5) OR ((((triple7) -> rule6)) -> rule5))] @3: The tiger eats the squirrel.[(((((((triple1) -> rule6)) -> rule5)) -> rule9) OR ((((((triple7) -> rule6)) -> rule5)) -> rule9))] @4: The tiger eats the bald eagle.[(((((((((triple1) -> rule6)) -> rule5)) -> rule9)) -> rule7) OR ((((((((triple7) -> rule6)) -> rule5)) -> rule9)) -> rule7))] @5: The tiger chases the bald eagle.[(((((((((((triple1) -> rule6)) -> rule5)) -> rule9)) -> rule7)) -> rule1) OR ((((((((((triple7) -> rule6)) -> rule5)) -> rule9)) -> rule7)) -> rule1))]