Bob is cold. Charlie is cold. Dave is cold. Harry is rough. All green, cold things are big. If Bob is rough and Bob is green then Bob is big. Blue things are big. Blue, furry things are big. All rough things are cold. All green, nice things are furry.
Harry is not rough.