Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is rough. Bob is white. Erin is big. Erin is rough. Gary is big. Gary is quiet. Gary is white. Harry is big. Harry is nice. Harry is red. Harry is rough. Harry is white. All red things are big. All red things are big. All big things are blue. If something is blue then it is white. White things are big. If something is nice then it is quiet. All white, blue things are nice. All nice, white things are rough. All white, quiet things are red.
Gary is not rough.