context: Gary is Fiona's wife. Fiona is cold if Bob is not Erin's brother. Bob is not Erin's brother if Charlie is not young. If Fiona is cold then The aunt of Dave is Gary. If Gary is not the wife of Fiona then Charlie is young.