Dave is big. Dave is cold. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is white. Gary is big. Gary is not cold. Gary is green. Gary is quiet. Gary is red. Gary is not white. Harry is big. Harry is cold. Harry is not green. If Gary is not red then Gary is white.
Gary is not big.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is white.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple10)] Gary is not cold.[(triple9)] Gary is not white.[(triple13)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Harry is big.[(triple14)] Harry is cold.[(triple15)] Harry is not green.[(triple16)]