The lion is young. The lion sees the mouse. The mouse visits the lion. If the mouse is rough then the mouse sees the lion. If something visits the lion then the lion is cold. If something is rough then it chases the mouse. If something is young and it visits the lion then it sees the mouse. If the mouse is red then the mouse is rough. If something visits the lion then it visits the mouse.
The lion is rough.
@0: The lion is young.[(triple1)] The lion sees the mouse.[(triple2)] The mouse visits the lion.[(triple3)] @1: The lion is cold.[(((triple3) -> rule2))] The mouse visits the mouse.[(((triple3) -> rule6))]