the Diegueno kidnaps sesame.
sent1: the Diegueno does not kidnap mole and is not aluminous if it is not cubic. sent2: there is something such that it is not tinny. sent3: something does not kidnap sesame and it is not a Lutheran if it is not unostentatious. sent4: if the Diegueno does not kidnap mole and it is not aluminous then it is not recessionary. sent5: the Diegueno does not kidnap sesame if something is not a kind of a Lutheran. sent6: there exists something such that it is a Lutheran. sent7: there exists something such that that it is a kind of Lutheran thing that does kidnap sesame does not hold. sent8: if that the applicator is not a Thracian and/or is cubic is not incorrect the Diegueno is not cubic. sent9: there is something such that the fact that it is not a kind of a megaton and whelps applicator does not hold. sent10: the basophil is not a Lutheran if there is something such that that it is not a megaton and whelps applicator does not hold. sent11: if there exists something such that that it is a kind of a megaton hold the basophil is not a Lutheran. sent12: if that something is both unostentatious and recessionary does not hold then it is not unostentatious.
sent9 & sent10 -> int1: the basophil is not a Lutheran.; int1 -> int2: something is not a kind of a Lutheran.; int2 & sent5 -> hypothesis;
the basophil does not kidnap sesame.
sent3 -> int3: if the basophil is not unostentatious then it does not kidnap sesame and is not Lutheran.; sent12 -> int4: the fact that if that the basophil is unostentatious and it is recessionary is wrong then the basophil is not unostentatious is not false.;
$hypothesis$ = the Diegueno kidnaps sesame. ; $context$ = sent1: the Diegueno does not kidnap mole and is not aluminous if it is not cubic. sent2: there is something such that it is not tinny. sent3: something does not kidnap sesame and it is not a Lutheran if it is not unostentatious. sent4: if the Diegueno does not kidnap mole and it is not aluminous then it is not recessionary. sent5: the Diegueno does not kidnap sesame if something is not a kind of a Lutheran. sent6: there exists something such that it is a Lutheran. sent7: there exists something such that that it is a kind of Lutheran thing that does kidnap sesame does not hold. sent8: if that the applicator is not a Thracian and/or is cubic is not incorrect the Diegueno is not cubic. sent9: there is something such that the fact that it is not a kind of a megaton and whelps applicator does not hold. sent10: the basophil is not a Lutheran if there is something such that that it is not a megaton and whelps applicator does not hold. sent11: if there exists something such that that it is a kind of a megaton hold the basophil is not a Lutheran. sent12: if that something is both unostentatious and recessionary does not hold then it is not unostentatious. ; $proof$ = 
sent9 & sent10 -> int1: the basophil is not a Lutheran.; int1 -> int2: something is not a kind of a Lutheran.; int2 & sent5 -> hypothesis; __DISPROVED__