Anne is big. Anne is green. Anne is quiet. Gary is big. Gary is blue. Gary is not green. Gary is quiet. If Gary is blue and Gary is not furry then Gary is cold. If something is green and not blue then it is big.
Gary is not cold.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is not green.[(triple6)] Gary is quiet.[(triple7)]