Bob is green. Charlie is big. Charlie is not cold. Charlie is not green. Charlie is red. Charlie is round. Charlie is smart. Fiona is big. Fiona is green. Fiona is not nice. Fiona is round. Fiona is smart. If something is green and not big then it is red. Round, nice things are not cold. All nice things are red.
Bob is red.