Bob is red. Fiona is nice. Gary is furry. Harry is furry. All furry things are nice. If something is kind and red then it is white. All nice, white things are cold. If Gary is nice then Gary is green. If something is green then it is nice. If Bob is green then Bob is furry. All nice things are cold. Red, white things are green.
Harry is not nice.