Anne is green. Anne is not nice. Anne is not smart. Anne is white. Gary is not cold. Gary is nice. Gary is white. If Gary is white and Gary is cold then Gary is not smart. Cold people are quiet. All smart people are quiet.
Gary is big.
@0: Anne is green.[(triple1)] Anne is not nice.[(triple2)] Anne is not smart.[(triple3)] Anne is white.[(triple4)] Gary is nice.[(triple6)] Gary is not cold.[(triple5)] Gary is white.[(triple7)]