Anne is not big. Anne is green. Anne is round. Anne is smart. Bob is big. Bob is cold. Dave is smart. Gary is blue. Gary is cold. Gary is green. Gary is rough. Gary is smart. All big, smart things are rough. Rough, cold things are green. All rough, blue things are smart. All green things are round. If something is round and rough then it is blue. All smart, round things are cold. Cold things are smart. If something is blue and not green then it is round.
Bob is green.