Anne is quiet. Charlie is blue. Gary is big. If someone is quiet and nice then they are blue. All white, round people are quiet. If someone is quiet then they are round.
Charlie is not round.
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2)] Gary is big.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))]