the fact that the fart strains footwall and does not strain change-up is not true.
sent1: that the multivitamin is not indistinct or is alkahestic or both is not correct if the footwall is indistinct. sent2: everything gelatinizes and it is sarcastic. sent3: if the fact that something is not indistinct or it is alkahestic or both is not true the fact that it is not benzoic is not false. sent4: the authority is not environmental if the fact that the fact that the fart strains footwall and does not strain change-up does not hold hold. sent5: that the footwall is not heterodactyl but it is indistinct is not wrong if the authority is not environmental. sent6: if the multivitamin is not benzoic then the cockhorse does not gelatinize.
void -> assump1: Let's assume that the fact that the fart does strain footwall and does not strain change-up is wrong.; sent4 & assump1 -> int1: the authority is not environmental.; int1 & sent5 -> int2: the footwall is a kind of non-heterodactyl thing that is indistinct.; int2 -> int3: the footwall is indistinct.; int3 & sent1 -> int4: that the multivitamin is not indistinct or is alkahestic or both is not true.; sent3 -> int5: the fact that the multivitamin is not benzoic is not false if the fact that it is not indistinct or alkahestic or both does not hold.; int4 & int5 -> int6: the multivitamin is not benzoic.; int6 & sent6 -> int7: the cockhorse does not gelatinize.; sent2 -> int8: the cockhorse gelatinizes and is sarcastic.; int8 -> int9: the cockhorse does gelatinize.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
$hypothesis$ = the fact that the fart strains footwall and does not strain change-up is not true. ; $context$ = sent1: that the multivitamin is not indistinct or is alkahestic or both is not correct if the footwall is indistinct. sent2: everything gelatinizes and it is sarcastic. sent3: if the fact that something is not indistinct or it is alkahestic or both is not true the fact that it is not benzoic is not false. sent4: the authority is not environmental if the fact that the fact that the fart strains footwall and does not strain change-up does not hold hold. sent5: that the footwall is not heterodactyl but it is indistinct is not wrong if the authority is not environmental. sent6: if the multivitamin is not benzoic then the cockhorse does not gelatinize. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fart does strain footwall and does not strain change-up is wrong.; sent4 & assump1 -> int1: the authority is not environmental.; int1 & sent5 -> int2: the footwall is a kind of non-heterodactyl thing that is indistinct.; int2 -> int3: the footwall is indistinct.; int3 & sent1 -> int4: that the multivitamin is not indistinct or is alkahestic or both is not true.; sent3 -> int5: the fact that the multivitamin is not benzoic is not false if the fact that it is not indistinct or alkahestic or both does not hold.; int4 & int5 -> int6: the multivitamin is not benzoic.; int6 & sent6 -> int7: the cockhorse does not gelatinize.; sent2 -> int8: the cockhorse gelatinizes and is sarcastic.; int8 -> int9: the cockhorse does gelatinize.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __DISPROVED__