The bear sees the lion. The lion is nice. The squirrel is kind. The tiger is nice. If something needs the squirrel then it visits the bear. If something needs the tiger and it visits the tiger then the tiger is round. If something sees the bear and it visits the tiger then the bear needs the tiger. If something is round then it needs the squirrel. If something sees the lion then the lion is round. If the tiger needs the lion then the tiger visits the squirrel.
The lion needs the squirrel.
@0: The bear sees the lion.[(triple1)] The lion is nice.[(triple2)] The squirrel is kind.[(triple3)] The tiger is nice.[(triple4)] @1: The lion is round.[(((triple1) -> rule5))] @2: The lion needs the squirrel.[(((((triple1) -> rule5)) -> rule4))] @3: The lion visits the bear.[(((((((triple1) -> rule5)) -> rule4)) -> rule1))]