The bald eagle is kind. The bald eagle is red. The bald eagle needs the bear. The bald eagle visits the bear. The bald eagle visits the lion. The bald eagle visits the squirrel. The bear is cold. The bear is green. The bear is kind. The bear is red. The bear needs the squirrel. The lion eats the bald eagle. The lion eats the bear. The lion needs the bald eagle. The lion visits the bald eagle. The squirrel needs the bear. If someone is young and they eat the bald eagle then the bald eagle is cold. If someone is young and they eat the bear then they visit the squirrel. If someone eats the bald eagle then the bald eagle eats the lion. If someone needs the lion then they are green. If someone visits the bald eagle then the bald eagle visits the bear. If someone eats the bald eagle then the bald eagle eats the bear. If someone needs the lion then they eat the squirrel. If someone eats the squirrel then the squirrel needs the lion.
The lion is not green.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4 OR ((triple15) -> rule5))] The bald eagle visits the lion.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The bear is cold.[(triple7)] The bear is green.[(triple8)] The bear is kind.[(triple9)] The bear is red.[(triple10)] The bear needs the squirrel.[(triple11)] The lion eats the bald eagle.[(triple12)] The lion eats the bear.[(triple13)] The lion needs the bald eagle.[(triple14)] The lion visits the bald eagle.[(triple15)] The squirrel needs the bear.[(triple16)] @1: The bald eagle eats the bear.[(((triple12) -> rule6))] The bald eagle eats the lion.[(((triple12) -> rule3))]