The bald eagle chases the squirrel. The bald eagle is cold. The bald eagle is not kind. The bald eagle needs the dog. The bald eagle visits the squirrel. The dog chases the squirrel. The dog is cold. The dog is kind. The dog is not red. The lion needs the dog. The lion visits the squirrel. The squirrel does not chase the dog. The squirrel does not need the dog. The squirrel needs the lion. The squirrel visits the dog. If something visits the dog then it chases the bald eagle. If something needs the dog and the dog is young then it is not red. If something is big then it does not visit the dog. All young things are cold. If the dog visits the bald eagle then the dog is not red. If the squirrel visits the dog and the squirrel is not big then the dog is not cold. If something needs the squirrel and it does not need the lion then the lion chases the dog. If something needs the squirrel and the squirrel does not visit the dog then the dog does not chase the lion.
The dog does not chase the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is not kind.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle visits the squirrel.[(triple5)] The dog chases the squirrel.[(triple6)] The dog is cold.[(triple7)] The dog is kind.[(triple8)] The dog is not red.[(triple9)] The lion needs the dog.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel does not chase the dog.[(triple12)] The squirrel does not need the dog.[(triple13)] The squirrel needs the lion.[(triple14)] The squirrel visits the dog.[(triple15)] @1: The squirrel chases the bald eagle.[(((triple15) -> rule1))]