Anne is quiet. Bob is nice. Gary is round. If someone is round and cold then they are quiet. Quiet, kind people are smart.
Gary is not smart.
@0: Anne is quiet.[(triple1)] Bob is nice.[(triple2)] Gary is round.[(triple3)]