Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Charlie is green. Charlie is round. Charlie is smart. Gary is blue. Gary is green. Gary is round. Harry is kind. Harry is quiet. Harry is red. If something is round and quiet then it is smart. If Harry is quiet then Harry is round. All smart, red things are quiet.
Gary is not blue.