Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is not white. Gary is cold. Gary is red. Gary is rough. Gary is round. Gary is not white. All rough things are blue. If Gary is blue then Gary is rough. If something is red and blue then it is round. If something is not red then it is cold. If something is not rough then it is not white. If something is round and not rough then it is big.
Bob is round.