The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is cold. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle is round. The bald eagle sees the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog is cold. The dog is green. The dog is kind. The dog is rough. The dog is round. The dog sees the bald eagle. If someone chases the dog and they are round then the dog chases the bald eagle. If someone sees the bald eagle then the bald eagle is green. If someone eats the bald eagle and the bald eagle is round then the bald eagle is green. If someone chases the dog then the dog is green. If someone chases the bald eagle and they see the dog then the bald eagle sees the dog. If the dog chases the bald eagle then the bald eagle is cold.
The dog is cold.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is cold.[(triple3 OR ((triple9) -> rule6) OR ((((triple1 triple7) -> rule1)) -> rule6))] The bald eagle is green.[(triple4 OR ((triple16) -> rule2) OR ((triple10 triple7) -> rule3))] The bald eagle is kind.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle is round.[(triple7)] The bald eagle sees the dog.[(triple8)] The dog chases the bald eagle.[(triple9 OR ((triple1 triple7) -> rule1))] The dog eats the bald eagle.[(triple10)] The dog is cold.[(triple11)] The dog is green.[(triple12 OR ((triple1) -> rule4))] The dog is kind.[(triple13)] The dog is rough.[(triple14)] The dog is round.[(triple15)] The dog sees the bald eagle.[(triple16)]