Gary is big. Gary is not blue. Gary is furry. Gary is not nice. Gary is quiet. Gary is not round. Gary is not white. If someone is round and nice then they are white. If someone is nice and not big then they are white.
Gary is not nice.
@0: Gary is big.[(triple1)] Gary is furry.[(triple3)] Gary is not blue.[(triple2)] Gary is not nice.[(triple4)] Gary is not round.[(triple6)] Gary is not white.[(triple7)] Gary is quiet.[(triple5)]