the fact that there exists something such that if it does not grade Leucaena and it is not New then it does not grade witloof is false.
sent1: if the mugwump grades Leucaena and is not New then it does not grade witloof. sent2: if the mugwump does not grade Leucaena and is New it does not grade witloof. sent3: if something that does grade Leucaena is not New then it does not grade witloof. sent4: if something that does not grade Leucaena is not New then it grades witloof. sent5: there exists something such that if it is a kind of a antiphonary that is not a straw it is not unfair. sent6: if the mugwump does not grade Leucaena and is not New then it does grade witloof. sent7: something that does not grade Leucaena and is New does not grade witloof. sent8: there exists something such that if it does not grade Leucaena and it is New then it does not grade witloof. sent9: there is something such that if it does not grade Leucaena and it is not New it does grade witloof. sent10: if the nirvana is a kind of non-animating thing that does not grade Leucaena then it is not multiform. sent11: if something does not grade Leucaena and it is not New it does not grade witloof. sent12: there is something such that if it does grade Leucaena and is not New it does not grade witloof.
sent11 -> int1: the mugwump does not grade witloof if it does not grade Leucaena and it is not New.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it does not grade Leucaena and it is not New then it does not grade witloof is false. ; $context$ = sent1: if the mugwump grades Leucaena and is not New then it does not grade witloof. sent2: if the mugwump does not grade Leucaena and is New it does not grade witloof. sent3: if something that does grade Leucaena is not New then it does not grade witloof. sent4: if something that does not grade Leucaena is not New then it grades witloof. sent5: there exists something such that if it is a kind of a antiphonary that is not a straw it is not unfair. sent6: if the mugwump does not grade Leucaena and is not New then it does grade witloof. sent7: something that does not grade Leucaena and is New does not grade witloof. sent8: there exists something such that if it does not grade Leucaena and it is New then it does not grade witloof. sent9: there is something such that if it does not grade Leucaena and it is not New it does grade witloof. sent10: if the nirvana is a kind of non-animating thing that does not grade Leucaena then it is not multiform. sent11: if something does not grade Leucaena and it is not New it does not grade witloof. sent12: there is something such that if it does grade Leucaena and is not New it does not grade witloof. ; $proof$ = 
sent11 -> int1: the mugwump does not grade witloof if it does not grade Leucaena and it is not New.; int1 -> hypothesis; __DISPROVED__