The lion is not rough. The mouse is nice. The tiger visits the mouse. If something is nice then it likes the lion. If something likes the lion then the lion likes the mouse. If something likes the mouse then it is not cold.
The tiger visits the mouse.
@0: The lion is not rough.[(triple1)] The mouse is nice.[(triple2)] The tiger visits the mouse.[(triple3)] @1: The mouse likes the lion.[(((triple2) -> rule1))] @2: The lion likes the mouse.[(((((triple2) -> rule1)) -> rule2))] @3: The lion is not cold.[(((((((triple2) -> rule1)) -> rule2)) -> rule3))]