Anne is white. Bob is white. Charlie is quiet. If something is quiet then it is white. All kind, quiet things are round.
Charlie is not white.
@0: Anne is white.[(triple1)] Bob is white.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is white.[(((triple3) -> rule1))]