The bald eagle is big. The bald eagle is nice. The bald eagle needs the bear. The bald eagle does not visit the bear. The bald eagle visits the rabbit. The bear is big. The bear is blue. The bear is nice. The bear is not young. The bear needs the bald eagle. The bear needs the rabbit. The bear sees the bald eagle. The bear sees the rabbit. The bear visits the bald eagle. The rabbit is nice. The rabbit sees the bear. If someone is kind then they visit the bear. If someone sees the rabbit and the rabbit is blue then they are young. If the bald eagle needs the rabbit and the bald eagle does not visit the rabbit then the rabbit needs the bear. If someone visits the bear and the bear sees the rabbit then the rabbit needs the bear. If the rabbit sees the bear then the rabbit is kind. If someone visits the bald eagle then they need the bear.
The bald eagle is blue.
@0: The bald eagle does not visit the bear.[(triple4)] The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the rabbit.[(triple5)] The bear is big.[(triple6)] The bear is blue.[(triple7)] The bear is nice.[(triple8)] The bear is not young.[(triple9)] The bear needs the bald eagle.[(triple10)] The bear needs the rabbit.[(triple11)] The bear sees the bald eagle.[(triple12)] The bear sees the rabbit.[(triple13)] The bear visits the bald eagle.[(triple14)] The rabbit is nice.[(triple15)] The rabbit sees the bear.[(triple16)] @1: The bear needs the bear.[(((triple14) -> rule6))] The rabbit is kind.[(((triple16) -> rule5))] @2: The rabbit visits the bear.[(((((triple16) -> rule5)) -> rule1))] @3: The rabbit needs the bear.[(((((((triple16) -> rule5)) -> rule1) triple13) -> rule4))]