the fact that the wonton is shapely is not false.
sent1: the blacking crumbles Atreus. sent2: if something is a kind of non-salamandriform thing that is unsociable the wonton is not spectral. sent3: the wonton does crumble Atreus. sent4: The Atreus crumbles blacking. sent5: the wonton is a cere if the fact that it is not a cere and it does crumble Cichorium is wrong. sent6: the photosynthesis does crumble Atreus. sent7: the pumice crumbles Atreus. sent8: the wonton does crumble Atreus if it is not a kind of a meltdown and it is not an ax. sent9: if the blacking is shapely then the pinite does crumble Atreus. sent10: everything is a sociable. sent11: if the sparkler is not unsociable the weight is not non-salamandriform. sent12: if something is non-spectral it does not crumble Cichorium and is not a cere. sent13: that something is not a cere but it does crumble Cichorium is not correct if it is not spectral. sent14: if the fact that the gasp is both not non-spectral and non-salamandriform is false the wonton is not non-spectral. sent15: the wonton is shapely if the blacking crumbles Atreus. sent16: something is not shapely if it is a cere and crumbles Atreus.
sent15 & sent1 -> hypothesis;
the wonton is not shapely.
sent16 -> int1: the wonton is not shapely if it is a cere and it does crumble Atreus.; sent13 -> int2: the fact that the wonton is not a cere and does crumble Cichorium is incorrect if it is not spectral.;
$hypothesis$ = the fact that the wonton is shapely is not false. ; $context$ = sent1: the blacking crumbles Atreus. sent2: if something is a kind of non-salamandriform thing that is unsociable the wonton is not spectral. sent3: the wonton does crumble Atreus. sent4: The Atreus crumbles blacking. sent5: the wonton is a cere if the fact that it is not a cere and it does crumble Cichorium is wrong. sent6: the photosynthesis does crumble Atreus. sent7: the pumice crumbles Atreus. sent8: the wonton does crumble Atreus if it is not a kind of a meltdown and it is not an ax. sent9: if the blacking is shapely then the pinite does crumble Atreus. sent10: everything is a sociable. sent11: if the sparkler is not unsociable the weight is not non-salamandriform. sent12: if something is non-spectral it does not crumble Cichorium and is not a cere. sent13: that something is not a cere but it does crumble Cichorium is not correct if it is not spectral. sent14: if the fact that the gasp is both not non-spectral and non-salamandriform is false the wonton is not non-spectral. sent15: the wonton is shapely if the blacking crumbles Atreus. sent16: something is not shapely if it is a cere and crumbles Atreus. ; $proof$ = 
sent15 & sent1 -> hypothesis; __PROVED__