The lion chases the tiger. The lion eats the tiger. The lion is green. The lion is kind. The lion needs the rabbit. The lion needs the tiger. The rabbit chases the lion. The rabbit eats the tiger. The rabbit needs the lion. The rabbit needs the squirrel. The squirrel is green. The squirrel is kind. The squirrel needs the tiger. The tiger eats the squirrel. The tiger needs the lion. The tiger needs the squirrel. If something chases the squirrel then it eats the tiger. If something is rough then it eats the tiger. If something eats the squirrel and it is kind then the squirrel chases the tiger. If the lion eats the tiger then the tiger eats the lion. If something chases the tiger then it is nice. If something is kind and nice then it eats the squirrel. If something is kind and it needs the rabbit then it eats the rabbit.
The lion does not need the squirrel.
@0: The lion chases the tiger.[(triple1)] The lion eats the tiger.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion needs the rabbit.[(triple5)] The lion needs the tiger.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit eats the tiger.[(triple8)] The rabbit needs the lion.[(triple9)] The rabbit needs the squirrel.[(triple10)] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel needs the tiger.[(triple13)] The tiger eats the squirrel.[(triple14)] The tiger needs the lion.[(triple15)] The tiger needs the squirrel.[(triple16)] @1: The lion eats the rabbit.[(((triple4 triple5) -> rule7))] The lion is nice.[(((triple1) -> rule5))] The tiger eats the lion.[(((triple2) -> rule4))] @2: The lion eats the squirrel.[(((triple4 ((triple1) -> rule5)) -> rule6))] @3: The squirrel chases the tiger.[(((((triple4 ((triple1) -> rule5)) -> rule6) triple4) -> rule3))] @4: The squirrel is nice.[(((((((triple4 ((triple1) -> rule5)) -> rule6) triple4) -> rule3)) -> rule5))] @5: The squirrel eats the squirrel.[(((triple12 ((((((triple4 ((triple1) -> rule5)) -> rule6) triple4) -> rule3)) -> rule5)) -> rule6))]