The lion is kind. The lion is red. The lion likes the tiger. The lion does not need the tiger. The mouse chases the tiger. The mouse is kind. The mouse likes the squirrel. The mouse likes the tiger. The mouse needs the lion. The mouse needs the squirrel. The squirrel is not round. The tiger chases the lion. The tiger is kind. The tiger likes the mouse. The tiger needs the squirrel. If the tiger does not like the lion then the lion is blue. If the squirrel needs the mouse and the squirrel is kind then the squirrel chases the tiger. If the squirrel chases the tiger then the tiger is kind. If something likes the lion and it does not need the lion then the lion is not kind. If something likes the tiger then the tiger chases the squirrel. If the tiger is blue and the tiger chases the mouse then the mouse needs the tiger. If something likes the tiger and it does not chase the tiger then it is not blue. If something is blue then it is red.
The mouse is not red.
@0: The lion does not need the tiger.[(triple4)] The lion is kind.[(triple1)] The lion is red.[(triple2)] The lion likes the tiger.[(triple3)] The mouse chases the tiger.[(triple5)] The mouse is kind.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse likes the tiger.[(triple8)] The mouse needs the lion.[(triple9)] The mouse needs the squirrel.[(triple10)] The squirrel is not round.[(triple11)] The tiger chases the lion.[(triple12)] The tiger is kind.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The tiger chases the squirrel.[(((triple3) -> rule5) OR ((triple8) -> rule5))]