Anne is blue. Anne is rough. Anne is smart. Charlie is blue. Charlie is not quiet. Charlie is round. Charlie is smart. Fiona is blue. Fiona is not quiet. Fiona is rough. Fiona is young. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is young. If Charlie is young then Charlie is nice. If Anne is nice and Anne is round then Anne is rough. If someone is smart then they are rough. If someone is nice then they are quiet. If Fiona is not blue then Fiona is young. If someone is quiet then they are smart.
Charlie is smart.