The lion chases the mouse. The lion chases the tiger. The lion is blue. The lion is not nice. The lion is red. The lion likes the mouse. The lion likes the tiger. The lion needs the mouse. The lion needs the tiger. The mouse likes the lion. The tiger chases the lion. The tiger chases the mouse. The tiger is red. The tiger likes the lion. The tiger needs the mouse. If someone needs the mouse then the mouse needs the lion. If someone chases the mouse and they do not like the lion then the lion does not chase the tiger. If someone likes the lion then they are blue. If the tiger does not like the mouse then the tiger needs the lion. If someone chases the mouse then they like the tiger. If the mouse needs the tiger then the tiger needs the mouse.
The lion is not red.
@0: The lion chases the mouse.[(triple1)] The lion chases the tiger.[(triple2)] The lion is blue.[(triple3)] The lion is not nice.[(triple4)] The lion is red.[(triple5)] The lion likes the mouse.[(triple6)] The lion likes the tiger.[(triple7 OR ((triple1) -> rule5))] The lion needs the mouse.[(triple8)] The lion needs the tiger.[(triple9)] The mouse likes the lion.[(triple10)] The tiger chases the lion.[(triple11)] The tiger chases the mouse.[(triple12)] The tiger is red.[(triple13)] The tiger likes the lion.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The mouse is blue.[(((triple10) -> rule3))] The mouse needs the lion.[(((triple15) -> rule1) OR ((triple8) -> rule1))] The tiger is blue.[(((triple14) -> rule3))] The tiger likes the tiger.[(((triple12) -> rule5))]