The bald eagle chases the bear. The bear chases the cat. The bear chases the dog. The bear is round. The bear needs the dog. The cat is not cold. The dog is nice. If something is round then it needs the dog. If something chases the bear then it is round.
The cat is not cold.
@0: The bald eagle chases the bear.[(triple1)] The bear chases the cat.[(triple2)] The bear chases the dog.[(triple3)] The bear is round.[(triple4)] The bear needs the dog.[(triple5 OR ((triple4) -> rule1))] The cat is not cold.[(triple6)] The dog is nice.[(triple7)] @1: The bald eagle is round.[(((triple1) -> rule2))] @2: The bald eagle needs the dog.[(((((triple1) -> rule2)) -> rule1))]