The bald eagle is cold. The bald eagle needs the bear. The bald eagle does not visit the cow. The bald eagle visits the lion. The bear is kind. The bear is not nice. The bear visits the cow. The cow chases the bald eagle. The cow is blue. The cow is cold. The cow is kind. The cow needs the bear. The cow visits the bald eagle. The cow visits the bear. The lion chases the cow. The lion visits the bear. If something chases the lion then the lion visits the bald eagle. If the cow needs the lion then the lion is nice. Nice, kind things are cold. If the bear chases the cow then the bear is blue. If something visits the bear and the bear needs the lion then it is blue. If the lion chases the bear then the bear is cold. If something needs the bald eagle then the bald eagle is nice. If something chases the bald eagle then the bald eagle needs the cow.
The lion is kind.
@0: The bald eagle does not visit the cow.[(triple3)] The bald eagle is cold.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the lion.[(triple4)] The bear is kind.[(triple5)] The bear is not nice.[(triple6)] The bear visits the cow.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow is blue.[(triple9)] The cow is cold.[(triple10)] The cow is kind.[(triple11)] The cow needs the bear.[(triple12)] The cow visits the bald eagle.[(triple13)] The cow visits the bear.[(triple14)] The lion chases the cow.[(triple15)] The lion visits the bear.[(triple16)] @1: The bald eagle needs the cow.[(((triple8) -> rule8))]