Anne is cold. Anne is white. Charlie is rough. If someone is cold then they are rough. If Anne is rough then Anne is round. If someone is kind and quiet then they are round.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is white.[(triple2)] Charlie is rough.[(triple3)] @1: Anne is rough.[(((triple1) -> rule1))] @2: Anne is round.[(((((triple1) -> rule1)) -> rule2))]