the hunter is a kind of a deposit if the streptococcus does last.
sent1: the autochthon is not a Umayyad if the soffit is a nucleus. sent2: if the soffit is not a nucleus then the spam is dramatic or does not nag autochthon or both. sent3: the streptococcus is a kind of a Arabic and it is a last if the autochthon is not a kind of a Umayyad. sent4: the fact that the hunter is a deposit if the spam is not dramatic and/or it does not nag autochthon is not incorrect. sent5: the spam is not dramatic or it does not nag autochthon or both if the soffit is not a nucleus. sent6: the streptococcus is a Arabic. sent7: the hunter is a kind of a deposit if the spam is not dramatic. sent8: if the autochthon is not a Umayyad then the streptococcus is a Arabic and non-last.
void -> assump1: Let's assume that that the streptococcus does last hold.; void -> assump2: Let's assume that the soffit is a nucleus.; sent1 & assump2 -> int1: the autochthon is not a Umayyad.; sent8 & int1 -> int2: the streptococcus is both a Arabic and not a last.; int2 -> int3: the streptococcus is not a kind of a last.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the soffit is not a nucleus.; sent5 & int5 -> int6: either the spam is not dramatic or it does not nag autochthon or both.; sent4 & int6 -> int7: the hunter is a deposit.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the hunter is a kind of a deposit if the streptococcus does last. ; $context$ = sent1: the autochthon is not a Umayyad if the soffit is a nucleus. sent2: if the soffit is not a nucleus then the spam is dramatic or does not nag autochthon or both. sent3: the streptococcus is a kind of a Arabic and it is a last if the autochthon is not a kind of a Umayyad. sent4: the fact that the hunter is a deposit if the spam is not dramatic and/or it does not nag autochthon is not incorrect. sent5: the spam is not dramatic or it does not nag autochthon or both if the soffit is not a nucleus. sent6: the streptococcus is a Arabic. sent7: the hunter is a kind of a deposit if the spam is not dramatic. sent8: if the autochthon is not a Umayyad then the streptococcus is a Arabic and non-last. ; $proof$ = 
void -> assump1: Let's assume that that the streptococcus does last hold.; void -> assump2: Let's assume that the soffit is a nucleus.; sent1 & assump2 -> int1: the autochthon is not a Umayyad.; sent8 & int1 -> int2: the streptococcus is both a Arabic and not a last.; int2 -> int3: the streptococcus is not a kind of a last.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the soffit is not a nucleus.; sent5 & int5 -> int6: either the spam is not dramatic or it does not nag autochthon or both.; sent4 & int6 -> int7: the hunter is a deposit.; [assump1] & int7 -> hypothesis; __PROVED__