The lion does not like the mouse. The mouse eats the lion. If someone likes the lion and the lion is rough then they see the mouse. If someone eats the lion then they see the mouse. If someone is rough and they eat the mouse then they are not blue. If someone sees the mouse then they like the lion. If someone is blue and they do not eat the lion then they are rough. If someone likes the lion then the lion is red.
The lion is not red.
@0: The lion does not like the mouse.[(triple1)] The mouse eats the lion.[(triple2)] @1: The mouse sees the mouse.[(((triple2) -> rule2))] @2: The mouse likes the lion.[(((((triple2) -> rule2)) -> rule4))] @3: The lion is red.[(((((((triple2) -> rule2)) -> rule4)) -> rule6))]