The bald eagle chases the dog. The bald eagle is blue. The bald eagle is cold. The bald eagle is red. The bald eagle is young. The bald eagle needs the dog. The bald eagle sees the dog. The dog chases the bald eagle. The dog is nice. The dog is red. The dog needs the bald eagle. The dog does not see the bald eagle. If someone is blue then they see the dog. If the bald eagle is cold then the bald eagle chases the dog. If someone needs the bald eagle then the bald eagle needs the dog. If the dog sees the bald eagle then the bald eagle is not cold. If someone sees the dog then the dog does not see the bald eagle. If the bald eagle is red and the bald eagle does not need the dog then the dog is cold.
The dog is not cold.
@0: The bald eagle chases the dog.[(triple1 OR ((triple3) -> rule2))] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle needs the dog.[(triple6 OR ((triple11) -> rule3))] The bald eagle sees the dog.[(triple7 OR ((triple2) -> rule1))] The dog chases the bald eagle.[(triple8)] The dog does not see the bald eagle.[(triple12 OR ((triple7) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] The dog is nice.[(triple9)] The dog is red.[(triple10)] The dog needs the bald eagle.[(triple11)]