The bald eagle is blue. The bald eagle is kind. The bear is cold. The bear is kind. The bear likes the bald eagle. The bear likes the dog. The bear visits the bald eagle. The dog is green. The dog is kind. The dog does not visit the bald eagle. If someone likes the bald eagle and they need the bald eagle then the bald eagle is cold. If someone needs the bear then they like the bald eagle. If someone visits the bear and the bear does not visit the bald eagle then they need the bear. If someone is blue then they like the bear. If someone visits the dog then the dog does not need the bear. If someone likes the bear then the bear needs the bald eagle. If someone needs the dog and they are not kind then the dog is young. If someone likes the bald eagle and the bald eagle does not like the bear then the bald eagle likes the dog.
The bear needs the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is kind.[(triple2)] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear likes the dog.[(triple6)] The bear visits the bald eagle.[(triple7)] The dog does not visit the bald eagle.[(triple10)] The dog is green.[(triple8)] The dog is kind.[(triple9)] @1: The bald eagle likes the bear.[(((triple1) -> rule4))] @2: The bear needs the bald eagle.[(((((triple1) -> rule4)) -> rule6))] @3: The bald eagle is cold.[(((triple5 ((((triple1) -> rule4)) -> rule6)) -> rule1))]