if the assayer is a date then the pus does not interrelate myeloblast.
sent1: that the party is not a date hold. sent2: that the party does not date is not wrong if there exists something such that it is nordic and/or it is a codetalker. sent3: if something is a codetalker and/or a date then the assayer does not interrelate myeloblast. sent4: if there exists something such that the fact that it is nordic and/or it is a date is not wrong then the party is not a codetalker. sent5: that the redbud is nordic is correct. sent6: if the party is not a codetalker then the pus does not interrelate myeloblast. sent7: the pus is nordic. sent8: if something is not nordic it is not a date.
void -> assump1: Let's assume that the assayer does date.; assump1 -> int1: the assayer is not non-nordic and/or it dates.; int1 -> int2: there is something such that either it is not non-nordic or it dates or both.; int2 & sent4 -> int3: the party is not a codetalker.; sent6 & int3 -> int4: the pus does not interrelate myeloblast.; [assump1] & int4 -> hypothesis;
the fact that the silurid is not a date is correct.
sent8 -> int5: the silurid is not a date if it is not nordic.;
$hypothesis$ = if the assayer is a date then the pus does not interrelate myeloblast. ; $context$ = sent1: that the party is not a date hold. sent2: that the party does not date is not wrong if there exists something such that it is nordic and/or it is a codetalker. sent3: if something is a codetalker and/or a date then the assayer does not interrelate myeloblast. sent4: if there exists something such that the fact that it is nordic and/or it is a date is not wrong then the party is not a codetalker. sent5: that the redbud is nordic is correct. sent6: if the party is not a codetalker then the pus does not interrelate myeloblast. sent7: the pus is nordic. sent8: if something is not nordic it is not a date. ; $proof$ = 
void -> assump1: Let's assume that the assayer does date.; assump1 -> int1: the assayer is not non-nordic and/or it dates.; int1 -> int2: there is something such that either it is not non-nordic or it dates or both.; int2 & sent4 -> int3: the party is not a codetalker.; sent6 & int3 -> int4: the pus does not interrelate myeloblast.; [assump1] & int4 -> hypothesis; __PROVED__