The bald eagle eats the tiger. The bald eagle is green. The bear chases the bald eagle. The bear chases the dog. The bear eats the bald eagle. The bear eats the dog. The bear eats the tiger. The bear is big. The bear is green. The bear is young. The dog is big. The dog is young. The tiger chases the bear. The tiger chases the dog. If something is red and it eats the dog then the dog eats the tiger. If something visits the tiger then the tiger eats the bear. If something eats the dog then the dog is young. If something is green and it visits the bald eagle then it visits the dog. If something eats the tiger then it eats the bear. If something is rough then it eats the bear. If something eats the bear then it is red.
The tiger does not eat the bear.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is green.[(triple2)] The bear chases the bald eagle.[(triple3)] The bear chases the dog.[(triple4)] The bear eats the bald eagle.[(triple5)] The bear eats the dog.[(triple6)] The bear eats the tiger.[(triple7)] The bear is big.[(triple8)] The bear is green.[(triple9)] The bear is young.[(triple10)] The dog is big.[(triple11)] The dog is young.[(triple12 OR ((triple6) -> rule3))] The tiger chases the bear.[(triple13)] The tiger chases the dog.[(triple14)] @1: The bald eagle eats the bear.[(((triple1) -> rule5))] The bear eats the bear.[(((triple7) -> rule5))] @2: The bald eagle is red.[(((((triple1) -> rule5)) -> rule7))] The bear is red.[(((((triple7) -> rule5)) -> rule7))] @3: The dog eats the tiger.[(((((((triple7) -> rule5)) -> rule7) triple6) -> rule1))] @4: The dog eats the bear.[(((((((((triple7) -> rule5)) -> rule7) triple6) -> rule1)) -> rule5))] @5: The dog is red.[(((((((((((triple7) -> rule5)) -> rule7) triple6) -> rule1)) -> rule5)) -> rule7))]