Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Fiona is nice. Gary is cold. Gary is white. Harry is nice. Harry is red. Harry is white. If something is nice then it is cold. Big things are round. Green, cold things are big. If Gary is red and Gary is green then Gary is nice. If something is round then it is red. White things are green.
Fiona is not red.