Anne is cold. Anne is quiet. Anne is rough. All quiet, blue things are rough. If something is rough then it is nice. All quiet things are rough.
Anne is furry.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3 OR ((triple2) -> rule3))] @1: Anne is nice.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2))]