The lion sees the squirrel. The mouse needs the lion. The mouse needs the squirrel. The squirrel chases the lion. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel needs the mouse. The tiger chases the lion. The tiger chases the mouse. The tiger needs the lion. The tiger sees the mouse. The tiger sees the squirrel. If someone is cold then they need the squirrel. If someone sees the squirrel then the squirrel is nice. If someone chases the lion and they are kind then the lion needs the squirrel. If someone sees the tiger and the tiger sees the lion then they see the mouse. If someone is nice and they need the lion then the lion chases the tiger. If someone needs the lion then the lion is kind.
The lion needs the squirrel.
@0: The lion sees the squirrel.[(triple1)] The mouse needs the lion.[(triple2)] The mouse needs the squirrel.[(triple3)] The squirrel chases the lion.[(triple4)] The squirrel is big.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is green.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is nice.[(triple9 OR ((triple1) -> rule2) OR ((triple15) -> rule2))] The squirrel needs the mouse.[(triple10)] The tiger chases the lion.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger needs the lion.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The lion is kind.[(((triple13) -> rule6) OR ((triple2) -> rule6))] The lion needs the squirrel.[(((triple4 triple8) -> rule3))] The squirrel needs the squirrel.[(((triple6) -> rule1))]