Anne is furry. Anne is green. Bob is big. Bob is furry. Bob is green. Bob is round. Bob is white. Charlie is big. Charlie is green. Charlie is rough. Charlie is round. Charlie is white. All big people are white. All rough people are big.
Charlie is not round.