Anne is green. Anne is round. Dave is red. Dave is round. Erin is blue. Erin is green. Erin is round. Erin is young. Fiona is rough. Fiona is young. All rough people are green. All blue people are young. All green people are blue. If someone is not round then they are young. If someone is red and round then they are rough. Young people are big. If Fiona is not blue then Fiona is young.
Anne is not young.