the finder is not a hurrying.
sent1: the aerosol is a dartboard. sent2: there is something such that that it is not a lithograph and/or is a kind of a dartboard is true. sent3: that the stocking is a dartboard is not false. sent4: that that the protozoologist is mediate thing that is not a clonus is not true if the screwball is not a hurrying is not wrong. sent5: the screwball is not a kind of a hurrying if the shop is a kind of a narrow-mindedness. sent6: the shop is a narrow-mindedness and/or is a hurrying if there exists something such that it is not a cockchafer. sent7: the finder is not a hurrying if the stocking is not a kind of a clonus. sent8: if there is something such that that it is not a dartboard is not incorrect the aerosol mediates. sent9: the aerosol is mediate if there is something such that either it does not lithograph or it is not a kind of a dartboard or both. sent10: the aerosol does not mediate. sent11: if that either the stocking is not a lithograph or it is not a dartboard or both does not hold it is not a clonus. sent12: the sheepwalk is not a cockchafer.
void -> assump1: Let's assume that the stocking is not a lithograph and/or is not a dartboard.; assump1 -> int1: something is not a lithograph or it is not a dartboard or both.; int1 & sent9 -> int2: the aerosol does mediate.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the stocking is not a lithograph and/or it is not a dartboard does not hold.; int4 & sent11 -> int5: the fact that the stocking is not a clonus is correct.; int5 & sent7 -> hypothesis;
there is something such that it does not federalize finder and/or it is not eschatological.
sent12 -> int6: there exists something such that it is not a cockchafer.; int6 & sent6 -> int7: the shop is a kind of a narrow-mindedness and/or is a kind of a hurrying.;
$hypothesis$ = the finder is not a hurrying. ; $context$ = sent1: the aerosol is a dartboard. sent2: there is something such that that it is not a lithograph and/or is a kind of a dartboard is true. sent3: that the stocking is a dartboard is not false. sent4: that that the protozoologist is mediate thing that is not a clonus is not true if the screwball is not a hurrying is not wrong. sent5: the screwball is not a kind of a hurrying if the shop is a kind of a narrow-mindedness. sent6: the shop is a narrow-mindedness and/or is a hurrying if there exists something such that it is not a cockchafer. sent7: the finder is not a hurrying if the stocking is not a kind of a clonus. sent8: if there is something such that that it is not a dartboard is not incorrect the aerosol mediates. sent9: the aerosol is mediate if there is something such that either it does not lithograph or it is not a kind of a dartboard or both. sent10: the aerosol does not mediate. sent11: if that either the stocking is not a lithograph or it is not a dartboard or both does not hold it is not a clonus. sent12: the sheepwalk is not a cockchafer. ; $proof$ = 
void -> assump1: Let's assume that the stocking is not a lithograph and/or is not a dartboard.; assump1 -> int1: something is not a lithograph or it is not a dartboard or both.; int1 & sent9 -> int2: the aerosol does mediate.; int2 & sent10 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the stocking is not a lithograph and/or it is not a dartboard does not hold.; int4 & sent11 -> int5: the fact that the stocking is not a clonus is correct.; int5 & sent7 -> hypothesis; __PROVED__