that the Hmong is a fielding and is not a benefaction is false.
sent1: if the viomycin is not non-peripatetic that it is a ethnographer is not false. sent2: if a non-multidimensional thing is a kind of an alveolar the viomycin is a kind of a peripatetic. sent3: the fact that the elemi does not snick axiom is not false. sent4: the elemi is not multidimensional but it is not non-alveolar. sent5: the viomycin snicks axiom. sent6: the Hmong is both a fielding and not a benefaction if the viomycin does not proliferate clockwork. sent7: if the viomycin does proliferate clockwork and it is a ethnographer then it does not snick axiom. sent8: The axiom snicks viomycin. sent9: the elemi is not a ethnographer.
sent4 -> int1: there are non-multidimensional and alveolar things.; int1 & sent2 -> int2: the viomycin is peripatetic.; int2 & sent1 -> int3: the viomycin is a ethnographer.; void -> assump1: Let's assume that that the viomycin proliferates clockwork is correct.; int3 & assump1 -> int4: the viomycin does proliferate clockwork and it is a kind of a ethnographer.; int4 & sent7 -> int5: that the viomycin does not snick axiom is not false.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the viomycin does not proliferate clockwork.; int7 & sent6 -> hypothesis;
$hypothesis$ = that the Hmong is a fielding and is not a benefaction is false. ; $context$ = sent1: if the viomycin is not non-peripatetic that it is a ethnographer is not false. sent2: if a non-multidimensional thing is a kind of an alveolar the viomycin is a kind of a peripatetic. sent3: the fact that the elemi does not snick axiom is not false. sent4: the elemi is not multidimensional but it is not non-alveolar. sent5: the viomycin snicks axiom. sent6: the Hmong is both a fielding and not a benefaction if the viomycin does not proliferate clockwork. sent7: if the viomycin does proliferate clockwork and it is a ethnographer then it does not snick axiom. sent8: The axiom snicks viomycin. sent9: the elemi is not a ethnographer. ; $proof$ = 
sent4 -> int1: there are non-multidimensional and alveolar things.; int1 & sent2 -> int2: the viomycin is peripatetic.; int2 & sent1 -> int3: the viomycin is a ethnographer.; void -> assump1: Let's assume that that the viomycin proliferates clockwork is correct.; int3 & assump1 -> int4: the viomycin does proliferate clockwork and it is a kind of a ethnographer.; int4 & sent7 -> int5: that the viomycin does not snick axiom is not false.; int5 & sent5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the viomycin does not proliferate clockwork.; int7 & sent6 -> hypothesis; __DISPROVED__