The lion likes the mouse. The lion needs the tiger. The mouse eats the lion. The mouse eats the tiger. The mouse is blue. The mouse is green. The mouse is rough. The mouse is young. The mouse likes the lion. The mouse likes the tiger. The mouse needs the lion. The mouse needs the tiger. The tiger likes the mouse. The tiger needs the lion. The tiger needs the mouse. If someone is young then they like the mouse. If the mouse likes the lion then the mouse is blue. If someone eats the tiger then the tiger eats the lion. If someone is young and they eat the tiger then they like the mouse. If someone needs the mouse then the mouse is green. If someone likes the mouse and the mouse needs the tiger then the tiger is young. If someone likes the tiger and they need the mouse then the tiger needs the lion. If the tiger is young and the tiger needs the lion then the lion is green.
The lion is not blue.
@0: The lion likes the mouse.[(triple1)] The lion needs the tiger.[(triple2)] The mouse eats the lion.[(triple3)] The mouse eats the tiger.[(triple4)] The mouse is blue.[(triple5 OR ((triple9) -> rule2))] The mouse is green.[(triple6 OR ((triple15) -> rule5))] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] The mouse likes the lion.[(triple9)] The mouse likes the tiger.[(triple10)] The mouse needs the lion.[(triple11)] The mouse needs the tiger.[(triple12)] The tiger likes the mouse.[(triple13 OR ((((triple1 triple12) -> rule6)) -> rule1) OR ((((((triple8) -> rule1) triple12) -> rule6)) -> rule1) OR ((((((triple8 triple4) -> rule4) triple12) -> rule6)) -> rule1))] The tiger needs the lion.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The mouse likes the mouse.[(((triple8) -> rule1) OR ((triple8 triple4) -> rule4))] The tiger eats the lion.[(((triple4) -> rule3))] The tiger is young.[(((triple1 triple12) -> rule6) OR ((triple13 triple12) -> rule6) OR ((((triple8) -> rule1) triple12) -> rule6) OR ((((triple8 triple4) -> rule4) triple12) -> rule6))] @2: The lion is green.[(((((triple1 triple12) -> rule6) triple14) -> rule8) OR ((((triple13 triple12) -> rule6) triple14) -> rule8) OR ((((((triple8) -> rule1) triple12) -> rule6) triple14) -> rule8) OR ((((((triple8 triple4) -> rule4) triple12) -> rule6) triple14) -> rule8))]