The lion visits the mouse. The mouse likes the lion. If someone needs the mouse and they are cold then the mouse likes the lion. If someone likes the lion then they are red.
The lion is not red.
@0: The lion visits the mouse.[(triple1)] The mouse likes the lion.[(triple2)] @1: The mouse is red.[(((triple2) -> rule2))]