Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is young. If Gary is red and Gary is not big then Gary is quiet.
Gary is nice.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5)] Gary is red.[(triple6)] Gary is young.[(triple7)]