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.
Gary is nice.
@0: Anne is quiet.[(triple1)] Charlie is blue.[(triple2)] Gary is big.[(triple3)] @1: Anne is round.[(((triple1) -> rule3))]