The lion eats the mouse. The lion is blue. The lion does not need the mouse. The mouse does not eat the lion. The mouse needs the lion. The mouse does not visit the tiger. The tiger is not cold. The tiger is not kind. The tiger visits the lion. The tiger visits the mouse. If something needs the lion and it does not visit the tiger then it is blue. If something is nice then it does not eat the tiger. If something is nice then it visits the lion.
The tiger is not blue.
@0: The lion does not need the mouse.[(triple3)] The lion eats the mouse.[(triple1)] The lion is blue.[(triple2)] The mouse does not eat the lion.[(triple4)] The mouse does not visit the tiger.[(triple6)] The mouse needs the lion.[(triple5)] The tiger is not cold.[(triple7)] The tiger is not kind.[(triple8)] The tiger visits the lion.[(triple9)] The tiger visits the mouse.[(triple10)] @1: The mouse is blue.[(((triple5 triple6) -> rule1))]