The bald eagle chases the lion. The bald eagle is blue. The bald eagle is cold. The bald eagle is not green. The bald eagle is not red. The bald eagle is not young. The bald eagle likes the lion. The bald eagle visits the lion. The lion chases the bald eagle. The lion is not blue. The lion is cold. The lion is not green. The lion is red. The lion is young. The lion does not like the bald eagle. The lion visits the bald eagle. If someone chases the bald eagle then they do not visit the lion.
The lion chases the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is not green.[(triple4)] The bald eagle is not red.[(triple5)] The bald eagle is not young.[(triple6)] The bald eagle likes the lion.[(triple7)] The bald eagle visits the lion.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion does not like the bald eagle.[(triple15)] The lion is cold.[(triple11)] The lion is not blue.[(triple10)] The lion is not green.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion visits the bald eagle.[(triple16)] @1: The lion does not visit the lion.[(((triple9) -> rule1))]