The lion needs the squirrel. The squirrel is blue. The tiger needs the lion. If something needs the lion and the lion sees the squirrel then it is nice. If something is blue then it needs the lion. If the lion sees the squirrel and the squirrel is young then the squirrel sees the tiger. If something sees the tiger then the tiger is kind. If something sees the lion and the lion is nice then it likes the tiger. If something needs the squirrel and the squirrel needs the lion then the squirrel sees the tiger. If something likes the lion then it likes the squirrel. If something is blue and it likes the squirrel then it is young.
The squirrel needs the lion.
@0: The lion needs the squirrel.[(triple1)] The squirrel is blue.[(triple2)] The tiger needs the lion.[(triple3)] @1: The squirrel needs the lion.[(((triple2) -> rule2))] @2: The squirrel sees the tiger.[(((triple1 ((triple2) -> rule2)) -> rule6))] @3: The tiger is kind.[(((((triple1 ((triple2) -> rule2)) -> rule6)) -> rule4))]