Anne is quiet. Dave is round. Erin is round. Gary is not round. All quiet things are not white.
Dave is not furry.
@0: Anne is quiet.[(triple1)] Dave is round.[(triple2)] Erin is round.[(triple3)] Gary is not round.[(triple4)] @1: Anne is not white.[(((triple1) -> rule1))]