the mycophagist does not shrive and it does not crop Narthecium.
sent1: something is starchy if it does anticipate dereliction. sent2: everything does not dull. sent3: something is not otic if it is both not non-starchy and unready. sent4: if the azide is not an accessory and it does not bullshit imagination it is not virtuous. sent5: the sensitometer does not shrive and does not dull. sent6: if the brier is starchy the mycophagist is starchy. sent7: the azide is not a kind of an accessory and does not bullshit imagination. sent8: the mycophagist does not shrive and it does not crop Narthecium if something is not otic. sent9: the mycophagist does not shrive if something is not otic. sent10: the Eurafrican is not a kind of a classic and it does not anticipate subnormal. sent11: the fact that the abecedarian does not crop Narthecium is not incorrect. sent12: if the azide does not abstract and/or it does not anticipate midafternoon it does not abstract. sent13: there is nothing that shrives and is otic. sent14: if there exists something such that it is not otic then the blackbeetle does not crop Narthecium and does not shrive. sent15: if there exists something such that it is not unpleasant then the rudderfish is non-otic thing that is not a tuckahoe. sent16: the clerid is not a pivot and it is not starchy. sent17: everything does not shrive. sent18: everything is not otic. sent19: if that the azide is a kind of a warrant and/or it does not anticipate dereliction does not hold that the brier does anticipate dereliction is not incorrect. sent20: the fact that something either is a warrant or does not anticipate dereliction or both does not hold if it does not abstract. sent21: if the azide is not virtuous it does not abstract or does not anticipate midafternoon or both. sent22: the blackbeetle does not shrive and it does not crop Narthecium if there exists something such that it is not otic.
sent18 -> int1: the blackbeetle is not otic.; int1 -> int2: there exists something such that it is not otic.; int2 & sent8 -> hypothesis;
the Wright does not harangue and it does not bullshit spectrometer.
sent13 -> int3: the fact that the mycophagist does shrive and it is otic is not true.;
$hypothesis$ = the mycophagist does not shrive and it does not crop Narthecium. ; $context$ = sent1: something is starchy if it does anticipate dereliction. sent2: everything does not dull. sent3: something is not otic if it is both not non-starchy and unready. sent4: if the azide is not an accessory and it does not bullshit imagination it is not virtuous. sent5: the sensitometer does not shrive and does not dull. sent6: if the brier is starchy the mycophagist is starchy. sent7: the azide is not a kind of an accessory and does not bullshit imagination. sent8: the mycophagist does not shrive and it does not crop Narthecium if something is not otic. sent9: the mycophagist does not shrive if something is not otic. sent10: the Eurafrican is not a kind of a classic and it does not anticipate subnormal. sent11: the fact that the abecedarian does not crop Narthecium is not incorrect. sent12: if the azide does not abstract and/or it does not anticipate midafternoon it does not abstract. sent13: there is nothing that shrives and is otic. sent14: if there exists something such that it is not otic then the blackbeetle does not crop Narthecium and does not shrive. sent15: if there exists something such that it is not unpleasant then the rudderfish is non-otic thing that is not a tuckahoe. sent16: the clerid is not a pivot and it is not starchy. sent17: everything does not shrive. sent18: everything is not otic. sent19: if that the azide is a kind of a warrant and/or it does not anticipate dereliction does not hold that the brier does anticipate dereliction is not incorrect. sent20: the fact that something either is a warrant or does not anticipate dereliction or both does not hold if it does not abstract. sent21: if the azide is not virtuous it does not abstract or does not anticipate midafternoon or both. sent22: the blackbeetle does not shrive and it does not crop Narthecium if there exists something such that it is not otic. ; $proof$ = 
sent18 -> int1: the blackbeetle is not otic.; int1 -> int2: there exists something such that it is not otic.; int2 & sent8 -> hypothesis; __PROVED__