Anne is cold. Anne is nice. Dave is nice. Dave is white. Fiona is nice. Harry is blue. Harry is nice. All smart, green people are nice. All rough people are nice. If someone is nice then they are smart. If someone is cold then they are green. Smart people are blue. Green people are rough. Rough, smart people are white. If Fiona is smart and Fiona is nice then Fiona is cold. All cold people are green.
Harry is not smart.