Bob is round. Bob is white. Bob is young. Charlie is cold. Fiona is nice. Harry is cold. Harry is round. If something is young then it is round. If something is red then it is nice. All green, cold things are white. Round things are green. If Fiona is round and Fiona is cold then Fiona is young. All red, young things are white. If something is cold and nice then it is young. All white things are red. If Charlie is young and Charlie is cold then Charlie is nice.
Bob is red.