context: Gary is Fiona's wife. Bob is not Erin's brother if Charlie is not young. Gary is not rough if Erin is not blue. Erin is not blue if Bob is not the brother of Erin. Charlie is young if The wife of Fiona is not Gary.