The bald eagle chases the dog. The bald eagle is blue. The bald eagle likes the dog. The bald eagle visits the dog. The dog chases the lion. The dog is kind. The dog visits the lion. The lion is cold. The lion is kind. The lion visits the dog. If someone is cold and they like the bald eagle then the bald eagle visits the lion. If the bald eagle chases the dog then the bald eagle visits the lion. If someone likes the dog then they are cold.
The dog is not cold.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog chases the lion.[(triple5)] The dog is kind.[(triple6)] The dog visits the lion.[(triple7)] The lion is cold.[(triple8)] The lion is kind.[(triple9)] The lion visits the dog.[(triple10)] @1: The bald eagle is cold.[(((triple3) -> rule3))] The bald eagle visits the lion.[(((triple1) -> rule2))]