the bauxite does case vibrator if the sake is a kind of a vesiculovirus.
sent1: the naprapath is parotid if that the sake does not hypothecate and is a kind of a vesiculovirus hold. sent2: the sake does not hypothecate. sent3: the bauxite cases vibrator if the naprapath is parotid. sent4: if the bauxite does hypothecate then the fact that the sake does case vibrator hold. sent5: the bauxite does not case vibrator but it does hypothecate. sent6: the bauxite is non-negative. sent7: if the naprapath does hypothecate the sake is parotid. sent8: if the sake is parotid the fact that the naprapath hypothecates is correct. sent9: the visor does not hypothecate. sent10: if the sake does case vibrator then the bauxite is a vesiculovirus. sent11: the bauxite is a vesiculovirus. sent12: the sake is a Gonne. sent13: the naprapath cases vibrator.
void -> assump1: Let's assume that the sake is a kind of a vesiculovirus.; sent2 & assump1 -> int1: the sake does not hypothecate and is a vesiculovirus.; int1 & sent1 -> int2: the naprapath is parotid.; int2 & sent3 -> int3: the bauxite does case vibrator.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the bauxite does case vibrator if the sake is a kind of a vesiculovirus. ; $context$ = sent1: the naprapath is parotid if that the sake does not hypothecate and is a kind of a vesiculovirus hold. sent2: the sake does not hypothecate. sent3: the bauxite cases vibrator if the naprapath is parotid. sent4: if the bauxite does hypothecate then the fact that the sake does case vibrator hold. sent5: the bauxite does not case vibrator but it does hypothecate. sent6: the bauxite is non-negative. sent7: if the naprapath does hypothecate the sake is parotid. sent8: if the sake is parotid the fact that the naprapath hypothecates is correct. sent9: the visor does not hypothecate. sent10: if the sake does case vibrator then the bauxite is a vesiculovirus. sent11: the bauxite is a vesiculovirus. sent12: the sake is a Gonne. sent13: the naprapath cases vibrator. ; $proof$ = 
void -> assump1: Let's assume that the sake is a kind of a vesiculovirus.; sent2 & assump1 -> int1: the sake does not hypothecate and is a vesiculovirus.; int1 & sent1 -> int2: the naprapath is parotid.; int2 & sent3 -> int3: the bauxite does case vibrator.; [assump1] & int3 -> hypothesis; __PROVED__