The bald eagle needs the lion. The bald eagle sees the bear. The bear chases the bald eagle. The bear chases the lion. The bear chases the tiger. The bear is blue. The bear is red. The bear is round. The lion chases the tiger. The tiger is round. If something needs the lion then it chases the lion. If something is red then it is big. If something sees the bear and it chases the lion then the lion is kind. If something needs the bald eagle then it is big. If something is blue and it sees the tiger then it is round. If something is round then it sees the bald eagle. If something needs the bald eagle and the bald eagle is blue then the bald eagle needs the bear. If something needs the lion then it sees the bear.
The bear does not see the bald eagle.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle sees the bear.[(triple2 OR ((triple1) -> rule8))] The bear chases the bald eagle.[(triple3)] The bear chases the lion.[(triple4)] The bear chases the tiger.[(triple5)] The bear is blue.[(triple6)] The bear is red.[(triple7)] The bear is round.[(triple8)] The lion chases the tiger.[(triple9)] The tiger is round.[(triple10)] @1: The bald eagle chases the lion.[(((triple1) -> rule1))] The bear is big.[(((triple7) -> rule2))] The bear sees the bald eagle.[(((triple8) -> rule6))] The tiger sees the bald eagle.[(((triple10) -> rule6))] @2: The lion is kind.[(((triple2 ((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule8) ((triple1) -> rule1)) -> rule3))]