The bear visits the rabbit. The rabbit likes the squirrel. The squirrel visits the bear. If something is cold then it is rough. If something likes the squirrel then the squirrel needs the rabbit. If something is nice then it is cold. If something visits the bear and the bear is rough then it visits the squirrel. If something likes the bear then it is cold. If something is kind and it likes the rabbit then the rabbit needs the bear.
The rabbit is not rough.
@0: The bear visits the rabbit.[(triple1)] The rabbit likes the squirrel.[(triple2)] The squirrel visits the bear.[(triple3)] @1: The squirrel needs the rabbit.[(((triple2) -> rule2))]