the allergist does not barbarize Vaughan and it is not a spot-welder.
sent1: if the evaluator does not barbarize Vaughan the fact that the allergist does not barbarize Vaughan and it is not a spot-welder is wrong. sent2: the mesosphere is not non-wise but it is not a hamburger. sent3: the evaluator is biogenetic. sent4: something that is a kind of biogenetic thing that does barbarize Vaughan is not a breve. sent5: the evaluator is a breve if something that is a wise is not a hamburger.
void -> assump1: Let's assume that the evaluator does barbarize Vaughan.; sent3 & assump1 -> int1: the evaluator is biogenetic and does barbarize Vaughan.; sent4 -> int2: if the evaluator is biogenetic and does barbarize Vaughan it is not a breve.; int1 & int2 -> int3: that the evaluator is not a kind of a breve is not wrong.; sent2 -> int4: there is something such that it is a wise and it is not a hamburger.; int4 & sent5 -> int5: the fact that the evaluator is a breve is right.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the evaluator does not barbarize Vaughan is not incorrect.; int7 & sent1 -> hypothesis;
$hypothesis$ = the allergist does not barbarize Vaughan and it is not a spot-welder. ; $context$ = sent1: if the evaluator does not barbarize Vaughan the fact that the allergist does not barbarize Vaughan and it is not a spot-welder is wrong. sent2: the mesosphere is not non-wise but it is not a hamburger. sent3: the evaluator is biogenetic. sent4: something that is a kind of biogenetic thing that does barbarize Vaughan is not a breve. sent5: the evaluator is a breve if something that is a wise is not a hamburger. ; $proof$ = 
void -> assump1: Let's assume that the evaluator does barbarize Vaughan.; sent3 & assump1 -> int1: the evaluator is biogenetic and does barbarize Vaughan.; sent4 -> int2: if the evaluator is biogenetic and does barbarize Vaughan it is not a breve.; int1 & int2 -> int3: that the evaluator is not a kind of a breve is not wrong.; sent2 -> int4: there is something such that it is a wise and it is not a hamburger.; int4 & sent5 -> int5: the fact that the evaluator is a breve is right.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the evaluator does not barbarize Vaughan is not incorrect.; int7 & sent1 -> hypothesis; __DISPROVED__