Anne is not big. Charlie is quiet. Gary is furry. Quiet things are round.
Charlie is not round.
@0: Anne is not big.[(triple1)] Charlie is quiet.[(triple2)] Gary is furry.[(triple3)] @1: Charlie is round.[(((triple2) -> rule1))]