The lion visits the squirrel. The squirrel does not chase the lion. The squirrel is green. All kind things are not green. If something likes the lion and it chases the lion then it is not green. If the lion chases the squirrel and the lion visits the squirrel then the lion is kind. If the squirrel does not visit the lion then the lion is kind. If something likes the lion and it is not young then it chases the squirrel. If something likes the lion and the lion is cold then it chases the lion. If something visits the lion then it likes the squirrel. If something visits the squirrel then it is kind.
The lion does not chase the squirrel.
@0: The lion visits the squirrel.[(triple1)] The squirrel does not chase the lion.[(triple2)] The squirrel is green.[(triple3)] @1: The lion is kind.[(((triple1) -> rule8))] @2: The lion is not green.[(((((triple1) -> rule8)) -> rule1))]