The bald eagle eats the cow. The bald eagle is young. The cow is nice. The cow sees the bald eagle. The dog eats the bald eagle. The tiger eats the cow. The tiger needs the bald eagle. If something is green and it eats the cow then it does not see the bald eagle. If something eats the tiger then the tiger is young. If something is red then it eats the tiger. If something sees the bald eagle then it eats the cow. If something is green and it needs the dog then it needs the bald eagle. If something sees the tiger then it needs the bald eagle. If something is red then it eats the bald eagle. If something is young then it is red. If something eats the dog and it is red then the dog is young.
The dog does not see the tiger.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is young.[(triple2)] The cow is nice.[(triple3)] The cow sees the bald eagle.[(triple4)] The dog eats the bald eagle.[(triple5)] The tiger eats the cow.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The bald eagle is red.[(((triple2) -> rule8))] The cow eats the cow.[(((triple4) -> rule4))] @2: The bald eagle eats the bald eagle.[(((((triple2) -> rule8)) -> rule7))] The bald eagle eats the tiger.[(((((triple2) -> rule8)) -> rule3))] @3: The tiger is young.[(((((((triple2) -> rule8)) -> rule3)) -> rule2))] @4: The tiger is red.[(((((((((triple2) -> rule8)) -> rule3)) -> rule2)) -> rule8))] @5: The tiger eats the bald eagle.[(((((((((((triple2) -> rule8)) -> rule3)) -> rule2)) -> rule8)) -> rule7))] The tiger eats the tiger.[(((((((((((triple2) -> rule8)) -> rule3)) -> rule2)) -> rule8)) -> rule3))]