The bald eagle is big. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle likes the bear. The bald eagle needs the bear. The bald eagle sees the bear. The bear is big. The bear is kind. The bear is nice. The bear is red. The bear is rough. The bear likes the bald eagle. The bear needs the bald eagle. The bear sees the bald eagle. If something likes the bald eagle then the bald eagle likes the bear. If something needs the bear and it likes the bald eagle then the bear is red. If something is big then it needs the bear. Rough, nice things are red. If something is big and it likes the bear then it sees the bald eagle. If something sees the bald eagle and the bald eagle needs the bear then the bear is red.
The bear does not need the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the bear.[(triple5 OR ((triple13) -> rule1))] The bald eagle needs the bear.[(triple6 OR ((triple1) -> rule3))] The bald eagle sees the bear.[(triple7)] The bear is big.[(triple8)] The bear is kind.[(triple9)] The bear is nice.[(triple10)] The bear is red.[(triple11 OR ((triple12 triple10) -> rule4) OR ((triple15 triple6) -> rule6) OR ((triple15 ((triple1) -> rule3)) -> rule6) OR ((((triple8) -> rule3) triple13) -> rule2) OR ((((triple1 triple5) -> rule5) triple6) -> rule6) OR ((((triple1 triple5) -> rule5) ((triple1) -> rule3)) -> rule6) OR ((((triple1 ((triple13) -> rule1)) -> rule5) triple6) -> rule6) OR ((((triple1 ((triple13) -> rule1)) -> rule5) ((triple1) -> rule3)) -> rule6))] The bear is rough.[(triple12)] The bear likes the bald eagle.[(triple13)] The bear needs the bald eagle.[(triple14)] The bear sees the bald eagle.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple1 triple5) -> rule5) OR ((triple1 ((triple13) -> rule1)) -> rule5))] The bear needs the bear.[(((triple8) -> rule3))]