The bald eagle is blue. The bald eagle is cold. The bald eagle is young. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear is young. The bear does not like the bald eagle. The bear likes the rabbit. The rabbit is cold. The rabbit likes the bear. The rabbit needs the bear. The rabbit visits the bear. If someone needs the rabbit and they need the bald eagle then the rabbit does not need the bald eagle. If someone needs the bald eagle and the bald eagle is big then they are not cold. If the bear needs the rabbit and the rabbit does not need the bear then the rabbit visits the bald eagle. If someone needs the bald eagle and they do not like the rabbit then the rabbit is not cold. If the rabbit likes the bear and the rabbit visits the bear then the bear is cold. If someone likes the bear and they are not cold then the bear likes the bald eagle.
The bear is blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the bear.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The bear does not like the bald eagle.[(triple7)] The bear is young.[(triple6)] The bear likes the rabbit.[(triple8)] The rabbit is cold.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bear is cold.[(((triple10 triple12) -> rule5))]