The lion is not blue. The lion is green. The lion likes the tiger. The lion needs the rabbit. The rabbit does not chase the lion. The rabbit chases the squirrel. The rabbit is not blue. The rabbit needs the lion. The rabbit needs the tiger. The squirrel chases the rabbit. The squirrel chases the tiger. The tiger is big. The tiger is blue. The tiger does not need the lion. If something likes the rabbit then the rabbit is kind. If something needs the tiger then it chases the rabbit. If something needs the tiger and the tiger needs the squirrel then it likes the tiger. If something chases the rabbit then it likes the lion. If something needs the lion then it chases the squirrel. If something likes the lion and it is not blue then the lion needs the tiger. If something needs the lion and it needs the rabbit then the rabbit is not cold. If something needs the lion and the lion is big then the lion is green.
The squirrel chases the lion.
@0: The lion is green.[(triple2)] The lion is not blue.[(triple1)] The lion likes the tiger.[(triple3)] The lion needs the rabbit.[(triple4)] The rabbit chases the squirrel.[(triple6 OR ((triple8) -> rule5))] The rabbit does not chase the lion.[(triple5)] The rabbit is not blue.[(triple7)] The rabbit needs the lion.[(triple8)] The rabbit needs the tiger.[(triple9)] The squirrel chases the rabbit.[(triple10)] The squirrel chases the tiger.[(triple11)] The tiger does not need the lion.[(triple14)] The tiger is big.[(triple12)] The tiger is blue.[(triple13)] @1: The rabbit chases the rabbit.[(((triple9) -> rule2))] The squirrel likes the lion.[(((triple10) -> rule4))] @2: The rabbit likes the lion.[(((((triple9) -> rule2)) -> rule4))] @3: The lion needs the tiger.[(((((((triple9) -> rule2)) -> rule4) triple7) -> rule6))] @4: The lion chases the rabbit.[(((((((((triple9) -> rule2)) -> rule4) triple7) -> rule6)) -> rule2))] @5: The lion likes the lion.[(((((((((((triple9) -> rule2)) -> rule4) triple7) -> rule6)) -> rule2)) -> rule4))]