if the cockney is a kind of a modern then the AS does not hound scouting and it is not a atypicality.
sent1: the AS does not hound scouting and it is not a atypicality if the cockney does hound scouting. sent2: the napery hounds scouting and it is a kind of a atypicality if the cockney does not palatalize insolubility. sent3: the cockney hounds scouting if it is a modern.
void -> assump1: Let's assume that the cockney is modern.; sent3 & assump1 -> int1: the cockney hounds scouting.; sent1 & int1 -> int2: the AS does not hound scouting and it is not a atypicality.; [assump1] & int2 -> hypothesis;
the napery is not a modern and it does not lecture cockney.
$hypothesis$ = if the cockney is a kind of a modern then the AS does not hound scouting and it is not a atypicality. ; $context$ = sent1: the AS does not hound scouting and it is not a atypicality if the cockney does hound scouting. sent2: the napery hounds scouting and it is a kind of a atypicality if the cockney does not palatalize insolubility. sent3: the cockney hounds scouting if it is a modern. ; $proof$ = 
void -> assump1: Let's assume that the cockney is modern.; sent3 & assump1 -> int1: the cockney hounds scouting.; sent1 & int1 -> int2: the AS does not hound scouting and it is not a atypicality.; [assump1] & int2 -> hypothesis; __PROVED__