The bald eagle eats the dog. The bald eagle sees the tiger. The dog eats the tiger. The dog is blue. The dog is kind. The dog is round. The dog sees the bald eagle. The dog sees the tiger. The dog visits the bald eagle. The tiger eats the dog. The tiger is nice. The tiger is round. The tiger sees the bald eagle. The tiger sees the dog. The tiger visits the bald eagle. The tiger visits the dog. If someone is blue then they eat the bald eagle. If someone is blue and kind then they eat the tiger. If someone sees the dog then they visit the dog.
The bald eagle eats the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle sees the tiger.[(triple2)] The dog eats the tiger.[(triple3 OR ((triple4 triple5) -> rule2))] The dog is blue.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog sees the bald eagle.[(triple7)] The dog sees the tiger.[(triple8)] The dog visits the bald eagle.[(triple9)] The tiger eats the dog.[(triple10)] The tiger is nice.[(triple11)] The tiger is round.[(triple12)] The tiger sees the bald eagle.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the bald eagle.[(triple15)] The tiger visits the dog.[(triple16 OR ((triple14) -> rule3))] @1: The dog eats the bald eagle.[(((triple4) -> rule1))]