The bald eagle eats the bear. The bald eagle is blue. The bald eagle is nice. The bald eagle is young. The bald eagle likes the bear. The bear is nice. The bear likes the bald eagle. If something sees the bear then the bear is young. If something is young then it sees the bear. If something sees the bear and the bear likes the bald eagle then the bear eats the bald eagle.
The bear does not see the bear.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the bear.[(triple5)] The bear is nice.[(triple6)] The bear likes the bald eagle.[(triple7)] @1: The bald eagle sees the bear.[(((triple4) -> rule2))] @2: The bear eats the bald eagle.[(((((triple4) -> rule2) triple7) -> rule3) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule2) triple7) -> rule3))] The bear is young.[(((((triple4) -> rule2)) -> rule1))] @3: The bear sees the bear.[(((((((triple4) -> rule2)) -> rule1)) -> rule2))]