The bald eagle is big. The bald eagle is blue. The bald eagle is kind. The bald eagle needs the bear. The bald eagle needs the cow. The bald eagle sees the bear. The bald eagle visits the bear. The bear is not kind. The bear is not nice. The bear does not need the cow. The bear sees the bald eagle. The bear sees the cow. The bear visits the bald eagle. The bear visits the cow. The cow is blue. All big people are blue. If the bear sees the bald eagle then the bear needs the bald eagle. If the bear needs the bald eagle and the bear is not kind then the bald eagle is nice. If the bald eagle is nice and the bald eagle sees the bear then the bald eagle visits the cow. If the bear visits the cow and the bear does not see the bald eagle then the cow is nice. If someone is nice and they do not visit the cow then they need the bear. If someone is nice and not big then they do not need the bear. If someone is round and they do not need the bear then they do not visit the bear.
The bald eagle is round.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple1) -> rule1))] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the cow.[(triple5)] The bald eagle sees the bear.[(triple6)] The bald eagle visits the bear.[(triple7)] The bear does not need the cow.[(triple10)] The bear is not kind.[(triple8)] The bear is not nice.[(triple9)] The bear sees the bald eagle.[(triple11)] The bear sees the cow.[(triple12)] The bear visits the bald eagle.[(triple13)] The bear visits the cow.[(triple14)] The cow is blue.[(triple15)] @1: The bear needs the bald eagle.[(((triple11) -> rule2))] @2: The bald eagle is nice.[(((((triple11) -> rule2) triple8) -> rule3))] @3: The bald eagle visits the cow.[(((((((triple11) -> rule2) triple8) -> rule3) triple6) -> rule4))]