The bald eagle is round. The bald eagle needs the tiger. The bald eagle sees the lion. The lion eats the tiger. The lion is round. The lion needs the squirrel. The lion sees the bald eagle. The squirrel is nice. The squirrel needs the lion. The squirrel sees the tiger. The tiger eats the lion. The tiger is kind. The tiger needs the bald eagle. The tiger needs the lion. The tiger sees the lion. The tiger sees the squirrel. If something is rough then it needs the lion. If something eats the squirrel then it needs the lion. If something eats the squirrel then it is round. If something needs the bald eagle then it sees the tiger. If something eats the tiger then it needs the bald eagle. If the lion eats the bald eagle and the lion sees the bald eagle then the lion needs the bald eagle. If something needs the tiger and it sees the tiger then it eats the tiger. If something sees the tiger then it is nice.
The bald eagle is not rough.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the tiger.[(triple2)] The bald eagle sees the lion.[(triple3)] The lion eats the tiger.[(triple4)] The lion is round.[(triple5)] The lion needs the squirrel.[(triple6)] The lion sees the bald eagle.[(triple7)] The squirrel is nice.[(triple8 OR ((triple10) -> rule8))] The squirrel needs the lion.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is kind.[(triple12)] The tiger needs the bald eagle.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the lion.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The lion needs the bald eagle.[(((triple4) -> rule5))] The tiger sees the tiger.[(((triple13) -> rule4))] @2: The lion sees the tiger.[(((((triple4) -> rule5)) -> rule4))] The tiger is nice.[(((((triple13) -> rule4)) -> rule8))] @3: The lion is nice.[(((((((triple4) -> rule5)) -> rule4)) -> rule8))]