The bald eagle is big. The bald eagle is blue. The bald eagle is cold. The bald eagle needs the tiger. The bald eagle sees the bear. The bald eagle visits the tiger. The bear is blue. The bear visits the bald eagle. The tiger is big. The tiger is blue. The tiger needs the bear. The tiger visits the bald eagle. If something needs the tiger then the tiger needs the bald eagle. If something sees the bald eagle and it is kind then it needs the bear. If something needs the tiger and the tiger sees the bald eagle then the bald eagle visits the bear. If something sees the bald eagle and the bald eagle visits the tiger then the bald eagle needs the bear. If something visits the bear then the bear is young. If something visits the bald eagle and the bald eagle needs the tiger then it sees the bald eagle.
The bear does not need the bear.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle needs the tiger.[(triple4)] The bald eagle sees the bear.[(triple5)] The bald eagle visits the tiger.[(triple6)] The bear is blue.[(triple7)] The bear visits the bald eagle.[(triple8)] The tiger is big.[(triple9)] The tiger is blue.[(triple10)] The tiger needs the bear.[(triple11)] The tiger visits the bald eagle.[(triple12)] @1: The bear sees the bald eagle.[(((triple8 triple4) -> rule6))] The tiger needs the bald eagle.[(((triple4) -> rule1))] The tiger sees the bald eagle.[(((triple12 triple4) -> rule6))] @2: The bald eagle needs the bear.[(((((triple12 triple4) -> rule6) triple6) -> rule4) OR ((((triple8 triple4) -> rule6) triple6) -> rule4))] The bald eagle visits the bear.[(((triple4 ((triple12 triple4) -> rule6)) -> rule3))] @3: The bear is young.[(((((triple4 ((triple12 triple4) -> rule6)) -> rule3)) -> rule5))]