Anne is quiet. Bob is big. Charlie is blue. Gary is kind. Kind, nice things are blue. All blue, red things are nice. If something is red and nice then it is quiet.
Bob is red.
@0: Anne is quiet.[(triple1)] Bob is big.[(triple2)] Charlie is blue.[(triple3)] Gary is kind.[(triple4)]