Anne is cold. Anne is not red. Charlie is big. Charlie is cold. Fiona is big. Fiona is not cold. Fiona is red. Fiona is rough. Fiona is round. Fiona is not smart. Fiona is white. Harry is red. Harry is rough. Harry is not round. Harry is white. If Charlie is not rough and Charlie is not smart then Charlie is round.
Charlie is not smart.