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