Anne is round. Erin is not blue. Gary is round. Harry is young. If Anne is big then Anne is young. If Erin is nice then Erin is young. If someone is young and not smart then they are round. If someone is nice then they are round. All rough people are big. If Anne is round and Anne is blue then Anne is not rough. If someone is big and not round then they are blue. If someone is big and not round then they are nice.
Harry is not young.