The bald eagle eats the dog. The dog is big. If someone eats the dog then the dog sees the bald eagle. If someone eats the dog then the dog sees the bald eagle. If someone is blue then they do not see the dog. If someone eats the bald eagle and they eat the dog then they do not see the dog. If someone eats the bald eagle then they see the dog. If someone needs the bald eagle then they are young. If someone sees the bald eagle then the bald eagle is blue. If someone eats the dog then the dog is big.
The bald eagle is not young.
@0: The bald eagle eats the dog.[(triple1)] The dog is big.[(triple2 OR ((triple1) -> rule8))] @1: The dog sees the bald eagle.[(((triple1) -> rule1) OR ((triple1) -> rule2))] @2: The bald eagle is blue.[(((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule2)) -> rule7))] @3: The bald eagle does not see the dog.[(((((((triple1) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule2)) -> rule7)) -> rule3))]