The bald eagle eats the tiger. The bald eagle is green. The bald eagle sees the dog. The bald eagle sees the tiger. The dog eats the bald eagle. The dog is nice. The dog is red. The dog is young. The dog needs the bald eagle. The dog sees the tiger. The tiger eats the bald eagle. The tiger eats the dog. The tiger is nice. The tiger is red. The tiger needs the bald eagle. The tiger needs the dog. If something needs the tiger and the tiger sees the bald eagle then the bald eagle eats the tiger. If something sees the bald eagle and the bald eagle eats the tiger then it eats the tiger. If something is young then it needs the tiger. If the dog is nice and the dog needs the tiger then the tiger is red. If the bald eagle sees the tiger then the bald eagle is red. If something needs the tiger then it eats the tiger. If something is red then it is green. If the bald eagle sees the tiger and the bald eagle eats the tiger then the tiger is young.
The tiger eats the tiger.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is green.[(triple2 OR ((((triple4) -> rule5)) -> rule7))] The bald eagle sees the dog.[(triple3)] The bald eagle sees the tiger.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog is nice.[(triple6)] The dog is red.[(triple7)] The dog is young.[(triple8)] The dog needs the bald eagle.[(triple9)] The dog sees the tiger.[(triple10)] The tiger eats the bald eagle.[(triple11)] The tiger eats the dog.[(triple12)] The tiger is nice.[(triple13)] The tiger is red.[(triple14 OR ((triple6 ((triple8) -> rule3)) -> rule4))] The tiger needs the bald eagle.[(triple15)] The tiger needs the dog.[(triple16)] @1: The bald eagle is red.[(((triple4) -> rule5))] The dog is green.[(((triple7) -> rule7))] The dog needs the tiger.[(((triple8) -> rule3))] The tiger is green.[(((triple14) -> rule7) OR ((((triple6 ((triple8) -> rule3)) -> rule4)) -> rule7))] The tiger is young.[(((triple4 triple1) -> rule8))] @2: The dog eats the tiger.[(((((triple8) -> rule3)) -> rule6))] The tiger needs the tiger.[(((((triple4 triple1) -> rule8)) -> rule3))] @3: The tiger eats the tiger.[(((((((triple4 triple1) -> rule8)) -> rule3)) -> rule6))]