Gary is big. Gary is blue. Gary is cold. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is quiet. Harry is smart. Harry is white. If Gary is white then Gary is blue. If Harry is smart and Harry is blue then Harry is white. Cold things are big. Quiet, white things are smart. All rough, smart things are cold. All cold things are rough. Quiet things are rough. Blue, quiet things are white.
Harry is not rough.