The bear is blue. The mouse is blue. The rabbit is cold. The squirrel chases the mouse. If something chases the mouse then it visits the rabbit. If something visits the rabbit then the rabbit is not nice.
The squirrel does not visit the rabbit.
@0: The bear is blue.[(triple1)] The mouse is blue.[(triple2)] The rabbit is cold.[(triple3)] The squirrel chases the mouse.[(triple4)] @1: The squirrel visits the rabbit.[(((triple4) -> rule1))] @2: The rabbit is not nice.[(((((triple4) -> rule1)) -> rule2))]