The bald eagle chases the tiger. The bald eagle eats the tiger. The bald eagle is young. The bald eagle likes the dog. The bald eagle likes the tiger. The dog chases the tiger. The dog eats the bald eagle. The dog eats the tiger. The dog is green. The dog likes the bald eagle. The dog likes the tiger. The tiger chases the dog. The tiger eats the bald eagle. The tiger is red. The tiger is young. If something is green then it eats the bald eagle.
The dog does not eat the tiger.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the dog.[(triple4)] The bald eagle likes the tiger.[(triple5)] The dog chases the tiger.[(triple6)] The dog eats the bald eagle.[(triple7 OR ((triple9) -> rule1))] The dog eats the tiger.[(triple8)] The dog is green.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog likes the tiger.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger is red.[(triple14)] The tiger is young.[(triple15)]