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