The lion chases the tiger. The lion eats the squirrel. The lion is nice. The lion is round. The lion likes the squirrel. The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is green. The squirrel is nice. The squirrel likes the tiger. The tiger chases the lion. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is nice. The tiger is red. The tiger likes the lion. If something likes the lion then it likes the squirrel. If the tiger likes the lion and the tiger is green then the lion is blue. If something eats the squirrel then the squirrel likes the tiger. If something likes the lion then the lion is nice. If something likes the squirrel then the squirrel likes the tiger. If the squirrel is round and the squirrel likes the lion then the squirrel eats the lion.
The squirrel is not green.
@0: The lion chases the tiger.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is nice.[(triple3 OR ((triple16) -> rule4))] The lion is round.[(triple4)] The lion likes the squirrel.[(triple5)] The squirrel chases the tiger.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is green.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the tiger.[(triple10 OR ((triple13) -> rule3) OR ((triple2) -> rule3) OR ((triple5) -> rule5) OR ((((triple16) -> rule1)) -> rule5))] The tiger chases the lion.[(triple11)] The tiger chases the squirrel.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger is nice.[(triple14)] The tiger is red.[(triple15)] The tiger likes the lion.[(triple16)] @1: The tiger likes the squirrel.[(((triple16) -> rule1))]