Anne is blue. Anne is cold. Anne is rough. Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is rough. Charlie is blue. Erin is rough. All rough people are green. All big people are round. All big people are rough. Big, green people are rough. Green, blue people are big. If someone is blue then they are rough. All round people are cold.
Bob is not round.