Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is white. Dave is young. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is red. If Gary is white and Gary is kind then Gary is big.
Gary is not big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is red.[(triple12)]