The bald eagle chases the dog. The bear is not cold. The dog is blue. The lion visits the dog. If someone visits the dog then the dog visits the lion. If someone visits the dog and the dog visits the bald eagle then the dog likes the bald eagle. If someone visits the lion then the lion visits the bear. If someone visits the bear then the bear visits the lion. If the dog chases the lion then the dog chases the bear. If someone chases the bear and they are not big then they do not like the lion. If someone chases the bald eagle and they do not like the bald eagle then they chase the lion. If someone is big and they chase the lion then the lion chases the dog.
The bald eagle does not visit the dog.
@0: The bald eagle chases the dog.[(triple1)] The bear is not cold.[(triple2)] The dog is blue.[(triple3)] The lion visits the dog.[(triple4)] @1: The dog visits the lion.[(((triple4) -> rule1))] @2: The lion visits the bear.[(((((triple4) -> rule1)) -> rule3))] @3: The bear visits the lion.[(((((((triple4) -> rule1)) -> rule3)) -> rule4))]