The bald eagle is cold. The bald eagle likes the cow. The bear is cold. The bear is kind. The bear is young. The bear likes the cow. The bear likes the lion. The bear visits the cow. The cow chases the bald eagle. The cow likes the lion. The cow visits the bear. The lion chases the cow. The lion is green. The lion likes the bald eagle. The lion likes the bear. The lion visits the bald eagle. If someone likes the bald eagle then the bald eagle visits the bear. If the bald eagle is young then the bald eagle visits the lion. If the bear is cold then the bear chases the bald eagle. If the cow chases the lion then the lion chases the bear. If someone likes the bald eagle and the bald eagle likes the bear then the bald eagle likes the lion. If the cow likes the lion and the cow visits the lion then the lion visits the cow. If someone chases the lion then they like the lion. If someone visits the cow and they are cold then they are nice.
The bear chases the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cow.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is young.[(triple5)] The bear likes the cow.[(triple6)] The bear likes the lion.[(triple7)] The bear visits the cow.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow likes the lion.[(triple10)] The cow visits the bear.[(triple11)] The lion chases the cow.[(triple12)] The lion is green.[(triple13)] The lion likes the bald eagle.[(triple14)] The lion likes the bear.[(triple15)] The lion visits the bald eagle.[(triple16)] @1: The bald eagle visits the bear.[(((triple14) -> rule1))] The bear chases the bald eagle.[(((triple3) -> rule3))] The bear is nice.[(((triple8 triple3) -> rule8))]