Bob is nice. Fiona is big. Gary is not smart. Harry is red. If someone is cold and not red then they are not furry. If someone is nice then they are smart. All green, big people are not furry.
Harry is not red.