Anne is big. Anne is blue. Anne is quiet. Anne is rough. Anne is white. Bob is round. Charlie is blue. Charlie is nice. Charlie is not round. Gary is big. Gary is blue. Gary is quiet. Gary is rough. Gary is round. All rough people are white. All nice people are rough. If someone is blue then they are nice. White, rough people are big. If someone is round then they are blue. All rough people are nice. If someone is not nice then they are white.
Charlie is not nice.