The bald eagle chases the dog. The bald eagle is big. The bald eagle likes the dog. The dog does not chase the tiger. The dog is big. The dog is not red. The dog likes the bald eagle. The dog likes the tiger. The dog sees the bald eagle. The tiger likes the dog. The tiger sees the bald eagle. The tiger sees the dog. If something sees the bald eagle and it sees the dog then it sees the tiger. If something chases the tiger then the tiger likes the bald eagle. If the tiger sees the dog then the dog does not chase the tiger.
The dog chases the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle likes the dog.[(triple3)] The dog does not chase the tiger.[(triple4 OR ((triple12) -> rule3))] The dog is big.[(triple5)] The dog is not red.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog likes the tiger.[(triple8)] The dog sees the bald eagle.[(triple9)] The tiger likes the dog.[(triple10)] The tiger sees the bald eagle.[(triple11)] The tiger sees the dog.[(triple12)] @1: The tiger sees the tiger.[(((triple11 triple12) -> rule1))]