the droning vinegar happens.
sent1: that the fundamentals happens is prevented by that the propagativeness occurs and the inexpedientness happens. sent2: that the propagativeness does not occur results in the droning vinegar. sent3: both the daciticness and the fundamentals occurs if the unclearedness does not occur. sent4: if the unclearedness does not occur then the daciticness occurs. sent5: the propagativeness happens. sent6: the unclearedness does not occur. sent7: if the inexpedientness does not occur then the droning vinegar does not occur.
void -> assump1: Let's assume that the inexpedientness happens.; sent5 & assump1 -> int1: both the propagativeness and the inexpedientness occurs.; int1 & sent1 -> int2: the fundamentals does not occur.; sent3 & sent6 -> int3: the daciticness and the fundamentals happens.; int3 -> int4: the fundamentals occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the inexpedientness does not occur.; int6 & sent7 -> hypothesis;
the droning vinegar occurs.
$hypothesis$ = the droning vinegar happens. ; $context$ = sent1: that the fundamentals happens is prevented by that the propagativeness occurs and the inexpedientness happens. sent2: that the propagativeness does not occur results in the droning vinegar. sent3: both the daciticness and the fundamentals occurs if the unclearedness does not occur. sent4: if the unclearedness does not occur then the daciticness occurs. sent5: the propagativeness happens. sent6: the unclearedness does not occur. sent7: if the inexpedientness does not occur then the droning vinegar does not occur. ; $proof$ = 
void -> assump1: Let's assume that the inexpedientness happens.; sent5 & assump1 -> int1: both the propagativeness and the inexpedientness occurs.; int1 & sent1 -> int2: the fundamentals does not occur.; sent3 & sent6 -> int3: the daciticness and the fundamentals happens.; int3 -> int4: the fundamentals occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the inexpedientness does not occur.; int6 & sent7 -> hypothesis; __DISPROVED__