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