The lion needs the squirrel. The squirrel likes the lion. If something is blue and it does not need the squirrel then the squirrel likes the lion. If something is nice then it likes the squirrel. If something is blue and it likes the lion then it likes the squirrel. If something likes the squirrel then it does not like the lion. If the squirrel likes the lion then the lion is nice. All red things are blue. If the lion is blue and the lion is not green then the lion chases the squirrel. If something is blue then it needs the lion.
The lion is blue.
@0: The lion needs the squirrel.[(triple1)] The squirrel likes the lion.[(triple2)] @1: The lion is nice.[(((triple2) -> rule5))] @2: The lion likes the squirrel.[(((((triple2) -> rule5)) -> rule2))] @3: The lion does not like the lion.[(((((((triple2) -> rule5)) -> rule2)) -> rule4))]