the Bath deflates foredge.
sent1: the Bath is inquisitorial if the card is positivist. sent2: the card is not a kind of a positivist. sent3: the card is congressional if the moonshell is congressional. sent4: the moonshell is both cyclonic and congressional if that it is not a eristic is true. sent5: if the fact that something is inquisitorial is right then that it does deflate foredge is not wrong. sent6: if the card is not inquisitorial and it does not deflate foredge it is not a positivist. sent7: the maillot is not congressional. sent8: the card is both not positivist and not congressional. sent9: if the Bath does deflate foredge the card is inquisitorial. sent10: the fact that the rough is a kind of a crampon and it is a kind of a eristic does not hold. sent11: that the head is positivist is correct. sent12: the Bath is not non-congressional. sent13: if the card is not positivist and it is not congressional it is not inquisitorial. sent14: the Bath is not a positivist. sent15: the purslane is congressional. sent16: if that the Bath is non-cyclonic thing that is congressional is wrong then it is not congressional. sent17: if the Bath is inquisitorial then the fact that the card deflates foredge is not false. sent18: that the card is not inquisitorial hold if it is positivist but not congressional. sent19: the Bath is not a fallboard. sent20: the Bath is inquisitorial if the card does deflate foredge. sent21: the Bath is not a meniscectomy and not on-line. sent22: the card is not a kind of an anklet and it does not deflate head.
void -> assump1: Let's assume that the Bath deflates foredge.; sent9 & assump1 -> int1: the card is inquisitorial.; sent13 & sent8 -> int2: that the card is not inquisitorial is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Bath does deflate foredge.
sent5 -> int4: if that the Bath is inquisitorial is right it deflates foredge.; sent10 -> int5: there exists something such that the fact that it is a crampon and is a eristic does not hold.;
$hypothesis$ = the Bath deflates foredge. ; $context$ = sent1: the Bath is inquisitorial if the card is positivist. sent2: the card is not a kind of a positivist. sent3: the card is congressional if the moonshell is congressional. sent4: the moonshell is both cyclonic and congressional if that it is not a eristic is true. sent5: if the fact that something is inquisitorial is right then that it does deflate foredge is not wrong. sent6: if the card is not inquisitorial and it does not deflate foredge it is not a positivist. sent7: the maillot is not congressional. sent8: the card is both not positivist and not congressional. sent9: if the Bath does deflate foredge the card is inquisitorial. sent10: the fact that the rough is a kind of a crampon and it is a kind of a eristic does not hold. sent11: that the head is positivist is correct. sent12: the Bath is not non-congressional. sent13: if the card is not positivist and it is not congressional it is not inquisitorial. sent14: the Bath is not a positivist. sent15: the purslane is congressional. sent16: if that the Bath is non-cyclonic thing that is congressional is wrong then it is not congressional. sent17: if the Bath is inquisitorial then the fact that the card deflates foredge is not false. sent18: that the card is not inquisitorial hold if it is positivist but not congressional. sent19: the Bath is not a fallboard. sent20: the Bath is inquisitorial if the card does deflate foredge. sent21: the Bath is not a meniscectomy and not on-line. sent22: the card is not a kind of an anklet and it does not deflate head. ; $proof$ = 
void -> assump1: Let's assume that the Bath deflates foredge.; sent9 & assump1 -> int1: the card is inquisitorial.; sent13 & sent8 -> int2: that the card is not inquisitorial is true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__