The bald eagle is kind. The bald eagle is young. The bald eagle does not need the squirrel. The bald eagle sees the lion. The bald eagle sees the squirrel. The bald eagle visits the lion. The lion is round. The lion visits the bald eagle. The squirrel is rough. The squirrel does not need the bald eagle. The squirrel sees the lion. The squirrel visits the lion. If something is round and it visits the squirrel then it is rough. If the bald eagle is young and the bald eagle is kind then the bald eagle sees the squirrel. If something needs the bald eagle and the bald eagle visits the squirrel then the bald eagle sees the squirrel. If something is young and it sees the lion then the lion is kind. If something needs the squirrel then the squirrel needs the lion. Rough things are young. If something sees the squirrel then it needs the lion. If something needs the lion then the lion visits the squirrel.
The squirrel does not see the lion.
@0: The bald eagle does not need the squirrel.[(triple3)] The bald eagle is kind.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle sees the lion.[(triple4)] The bald eagle sees the squirrel.[(triple5 OR ((triple2 triple1) -> rule2))] The bald eagle visits the lion.[(triple6)] The lion is round.[(triple7)] The lion visits the bald eagle.[(triple8)] The squirrel does not need the bald eagle.[(triple10)] The squirrel is rough.[(triple9)] The squirrel sees the lion.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The bald eagle needs the lion.[(((triple5) -> rule7) OR ((((triple2 triple1) -> rule2)) -> rule7))] The lion is kind.[(((triple2 triple4) -> rule4) OR ((((triple9) -> rule6) triple11) -> rule4))] The squirrel is young.[(((triple9) -> rule6))] @2: The lion visits the squirrel.[(((((triple5) -> rule7)) -> rule8) OR ((((((triple2 triple1) -> rule2)) -> rule7)) -> rule8))] @3: The lion is rough.[(((triple7 ((((triple5) -> rule7)) -> rule8)) -> rule1) OR ((triple7 ((((((triple2 triple1) -> rule2)) -> rule7)) -> rule8)) -> rule1))] @4: The lion is young.[(((((triple7 ((((triple5) -> rule7)) -> rule8)) -> rule1)) -> rule6) OR ((((triple7 ((((((triple2 triple1) -> rule2)) -> rule7)) -> rule8)) -> rule1)) -> rule6))]