The lion chases the squirrel. The lion chases the tiger. The lion is cold. The lion is kind. The lion needs the tiger. The lion does not see the squirrel. The squirrel chases the lion. The squirrel chases the tiger. The squirrel is cold. The squirrel is young. The squirrel needs the tiger. The squirrel sees the tiger. The tiger does not chase the lion. The tiger chases the squirrel. The tiger is cold. The tiger sees the squirrel. If the tiger needs the squirrel and the squirrel sees the tiger then the tiger is not blue. If the tiger is not young then the tiger is blue. If someone chases the tiger and they are young then they see the lion. If someone sees the lion then the lion is green. If the squirrel is green then the squirrel does not need the lion. If someone sees the lion and the lion sees the tiger then the tiger needs the squirrel. If someone is cold and they see the tiger then they are green. If the lion is not blue then the lion sees the squirrel.
The lion is not kind.
@0: The lion chases the squirrel.[(triple1)] The lion chases the tiger.[(triple2)] The lion does not see the squirrel.[(triple6)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion needs the tiger.[(triple5)] The squirrel chases the lion.[(triple7)] The squirrel chases the tiger.[(triple8)] The squirrel is cold.[(triple9)] The squirrel is young.[(triple10)] The squirrel needs the tiger.[(triple11)] The squirrel sees the tiger.[(triple12)] The tiger chases the squirrel.[(triple14)] The tiger does not chase the lion.[(triple13)] The tiger is cold.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel is green.[(((triple9 triple12) -> rule7))] The squirrel sees the lion.[(((triple8 triple10) -> rule3))] @2: The lion is green.[(((((triple8 triple10) -> rule3)) -> rule4))] The squirrel does not need the lion.[(((((triple9 triple12) -> rule7)) -> rule5))]