The lion does not chase the mouse. The lion is blue. The lion is green. The lion is nice. The lion is not round. The lion is not young. The mouse chases the lion. The mouse is blue. The mouse is young. The squirrel chases the lion. The squirrel is round. The squirrel needs the mouse. The tiger chases the squirrel. The tiger is round. The tiger does not need the lion. The tiger needs the mouse. If something is round and it chases the squirrel then it does not eat the lion. If something needs the mouse and it is not round then the mouse does not need the squirrel. If something eats the squirrel then the squirrel chases the tiger. If the lion chases the mouse and the mouse does not need the lion then the lion does not need the tiger. If something needs the mouse then it is nice. If the squirrel is green and the squirrel is not nice then the squirrel needs the tiger. If something is round and it does not eat the lion then it needs the tiger. If something needs the tiger and it is round then it does not chase the lion.
The tiger does not chase the lion.
@0: The lion does not chase the mouse.[(triple1)] The lion is blue.[(triple2)] The lion is green.[(triple3)] The lion is nice.[(triple4)] The lion is not round.[(triple5)] The lion is not young.[(triple6)] The mouse chases the lion.[(triple7)] The mouse is blue.[(triple8)] The mouse is young.[(triple9)] The squirrel chases the lion.[(triple10)] The squirrel is round.[(triple11)] The squirrel needs the mouse.[(triple12)] The tiger chases the squirrel.[(triple13)] The tiger does not need the lion.[(triple15)] The tiger is round.[(triple14)] The tiger needs the mouse.[(triple16)] @1: The squirrel is nice.[(((triple12) -> rule5))] The tiger does not eat the lion.[(((triple14 triple13) -> rule1))] The tiger is nice.[(((triple16) -> rule5))] @2: The tiger needs the tiger.[(((triple14 ((triple14 triple13) -> rule1)) -> rule7))] @3: The tiger does not chase the lion.[(((((triple14 ((triple14 triple13) -> rule1)) -> rule7) triple14) -> rule8))]