The bald eagle chases the dog. The bald eagle chases the lion. The bald eagle is cold. The bear eats the bald eagle. The bear eats the dog. The dog chases the bear. The dog eats the bald eagle. The dog is blue. The lion eats the bald eagle. The lion is green. If the dog eats the bald eagle then the dog is nice. If someone is blue and they eat the lion then the lion is cold. If someone chases the dog and the dog chases the bald eagle then the dog eats the lion. If someone visits the lion and the lion visits the bear then the bear chases the bald eagle. If the lion visits the bear then the lion is nice. If someone is green then they eat the dog.
The lion is not cold.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle is cold.[(triple3)] The bear eats the bald eagle.[(triple4)] The bear eats the dog.[(triple5)] The dog chases the bear.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog is blue.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is green.[(triple10)] @1: The dog is nice.[(((triple7) -> rule1))] The lion eats the dog.[(((triple10) -> rule6))]