Bob is big. Bob is green. Bob is white. Erin is not cold. Erin is not white. Fiona is nice. Gary is cold. All smart things are cold. Green things are rough. Nice things are big. All big things are green. If Gary is smart then Gary is cold. If Bob is nice and Bob is cold then Bob is rough. All rough things are smart.
Bob is not green.