Bob is green. Erin is big. Erin is cold. Erin is rough. Erin is round. Erin is smart. Fiona is blue. Fiona is round. Harry is blue. Harry is smart. If something is blue then it is big. Smart things are cold. If Fiona is smart then Fiona is cold. Big things are smart. Big, rough things are green. If Bob is green then Bob is cold.
Fiona is not green.