The bald eagle chases the dog. The bald eagle chases the tiger. The bald eagle is nice. The bald eagle is young. The bald eagle likes the tiger. The bald eagle sees the tiger. The dog chases the bald eagle. The dog chases the tiger. The dog is red. The dog is young. The dog likes the bald eagle. The dog likes the tiger. The dog sees the tiger. The tiger chases the bald eagle. The tiger sees the dog. If someone sees the tiger then they are red. If someone likes the bald eagle and they see the dog then the bald eagle sees the tiger.
The bald eagle sees the tiger.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the tiger.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog chases the tiger.[(triple8)] The dog is red.[(triple9 OR ((triple13) -> rule1))] The dog is young.[(triple10)] The dog likes the bald eagle.[(triple11)] The dog likes the tiger.[(triple12)] The dog sees the tiger.[(triple13)] The tiger chases the bald eagle.[(triple14)] The tiger sees the dog.[(triple15)] @1: The bald eagle is red.[(((triple6) -> rule1))]