The bald eagle eats the dog. The bald eagle eats the tiger. The cat needs the bald eagle. The cat needs the dog. The cat sees the dog. The dog eats the tiger. The dog is red. The tiger is red. The tiger needs the bald eagle. The tiger needs the cat. If someone needs the tiger then the tiger needs the dog. If someone eats the cat and the cat sees the tiger then the cat eats the tiger. If someone needs the dog then the dog needs the tiger. Blue people are red. If someone is red and they see the bald eagle then the bald eagle is big. Red people are young. If someone sees the tiger then they see the cat. If someone needs the dog then they are blue. If someone is blue and young then they see the bald eagle.
The dog is young.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the tiger.[(triple2)] The cat needs the bald eagle.[(triple3)] The cat needs the dog.[(triple4)] The cat sees the dog.[(triple5)] The dog eats the tiger.[(triple6)] The dog is red.[(triple7)] The tiger is red.[(triple8 OR ((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4))] The tiger needs the bald eagle.[(triple9)] The tiger needs the cat.[(triple10)] @1: The cat is blue.[(((triple4) -> rule8))] The dog is young.[(((triple7) -> rule6))] The dog needs the tiger.[(((triple4) -> rule3))] The tiger is young.[(((triple8) -> rule6) OR ((((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule6))] @2: The cat is red.[(((((triple4) -> rule8)) -> rule4))] The tiger needs the dog.[(((((triple4) -> rule3)) -> rule1))] @3: The cat is young.[(((((((triple4) -> rule8)) -> rule4)) -> rule6))] The tiger is blue.[(((((((triple4) -> rule3)) -> rule1)) -> rule8))] @4: The cat sees the bald eagle.[(((((triple4) -> rule8) ((((((triple4) -> rule8)) -> rule4)) -> rule6)) -> rule9))] The tiger sees the bald eagle.[(((((((((triple4) -> rule3)) -> rule1)) -> rule8) ((triple8) -> rule6)) -> rule9) OR ((((((((triple4) -> rule3)) -> rule1)) -> rule8) ((((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule6)) -> rule9))] @5: The bald eagle is big.[(((triple8 ((((((((triple4) -> rule3)) -> rule1)) -> rule8) ((triple8) -> rule6)) -> rule9)) -> rule5) OR ((((((triple4) -> rule8)) -> rule4) ((((triple4) -> rule8) ((((((triple4) -> rule8)) -> rule4)) -> rule6)) -> rule9)) -> rule5) OR ((((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4) ((((((((triple4) -> rule3)) -> rule1)) -> rule8) ((triple8) -> rule6)) -> rule9)) -> rule5) OR ((triple8 ((((((((triple4) -> rule3)) -> rule1)) -> rule8) ((((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule6)) -> rule9)) -> rule5) OR ((((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4) ((((((((triple4) -> rule3)) -> rule1)) -> rule8) ((((((((((triple4) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule6)) -> rule9)) -> rule5))]