Anne is kind. Bob is round. Fiona is round. Kind things are round. If something is round and kind then it is white.
Anne is not white.
@0: Anne is kind.[(triple1)] Bob is round.[(triple2)] Fiona is round.[(triple3)] @1: Anne is round.[(((triple1) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1) triple1) -> rule2))]