Fiona is big. Fiona is not blue. Fiona is cold. Fiona is red. Fiona is rough. Fiona is not round. Fiona is smart. Gary is blue. Gary is smart. Harry is not cold. Harry is red. Harry is round. If Fiona is not red then Fiona is smart. Big things are rough. Red things are big. If something is cold and red then it is not blue. All cold, smart things are big. If something is not smart then it is round.
Gary is red.