The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is blue. The bald eagle is cold. The bald eagle needs the dog. The dog chases the bald eagle. The dog eats the bald eagle. The dog is cold. The dog is red. The dog needs the bald eagle. If the bald eagle chases the dog then the bald eagle is big. If something needs the bald eagle then the bald eagle chases the dog.
The bald eagle is cold.
@0: The bald eagle chases the dog.[(triple1 OR ((triple10) -> rule2))] The bald eagle eats the dog.[(triple2)] The bald eagle is blue.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle needs the dog.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is cold.[(triple8)] The dog is red.[(triple9)] The dog needs the bald eagle.[(triple10)] @1: The bald eagle is big.[(((triple1) -> rule1) OR ((((triple10) -> rule2)) -> rule1))]