the band is an airs.
sent1: the pressing is cationic. sent2: the performance is malicious. sent3: if something does not hum Thornton that it is not a ESE and it is not a kind of a Polish is not true. sent4: the pressing is hipless. sent5: something does not pluralize and it is not a kind of a amnesic if that it is not Rabelaisian hold. sent6: if the band is malicious then it is a amnesic. sent7: the pressing does air if it is anhydrous. sent8: the fact that the band is amnesic is not false if the pressing is malicious. sent9: if the granter does not watch Gordimer then it does not throng and is not a storied. sent10: if there exists something such that it is not a drinker the honeybee is not Rabelaisian. sent11: if the out-basket is not malicious the pressing is an airs that is cationic. sent12: the granter does not watch Gordimer. sent13: everything does not hum Thornton. sent14: the fact that the arsenide is cationic is not incorrect. sent15: the band does not air if the pressing is an air and it is cationic. sent16: a amnesic is an airs. sent17: something that is not humanistic is not a kind of a drinker. sent18: something that is not a cybernaut and is not a storied is not humanistic. sent19: something is not a cybernaut if the fact that it is not a ESE and it is not a Polish does not hold. sent20: the pressing is malicious if it is cationic.
sent20 & sent1 -> int1: the pressing is malicious.; int1 & sent8 -> int2: the band is a amnesic.; sent16 -> int3: the band is an airs if it is a kind of a amnesic.; int2 & int3 -> hypothesis;
the band is not an airs.
sent17 -> int4: the granter is not a drinker if it is not humanistic.; sent18 -> int5: the granter is not humanistic if it is not a cybernaut and is not a storied.; sent19 -> int6: the granter is not a cybernaut if the fact that it is not a ESE and it is not Polish does not hold.; sent3 -> int7: if the boarding does not hum Thornton then that it is both not a ESE and not Polish is wrong.; sent13 -> int8: the boarding does not hum Thornton.; int7 & int8 -> int9: that the boarding is not a ESE and it is non-Polish is incorrect.; int9 -> int10: there is nothing such that it is not a ESE and not Polish.; int10 -> int11: that the granter is not a ESE and it is not a kind of a Polish is not correct.; int6 & int11 -> int12: the fact that the granter is not a cybernaut is not wrong.; sent9 & sent12 -> int13: the granter does not throng and it is not a storied.; int13 -> int14: the granter is not a kind of a storied.; int12 & int14 -> int15: the granter is not a kind of a cybernaut and it is not a storied.; int5 & int15 -> int16: the granter is not humanistic.; int4 & int16 -> int17: the granter is not a kind of a drinker.; int17 -> int18: there exists something such that it is not a drinker.; sent10 & int18 -> int19: the honeybee is non-Rabelaisian.; sent5 -> int20: if the fact that the honeybee is not Rabelaisian is correct then it does not pluralize and it is not a amnesic.; int19 & int20 -> int21: the honeybee does not pluralize and it is not amnesic.; int21 -> int22: something does not pluralize and is not amnesic.;
$hypothesis$ = the band is an airs. ; $context$ = sent1: the pressing is cationic. sent2: the performance is malicious. sent3: if something does not hum Thornton that it is not a ESE and it is not a kind of a Polish is not true. sent4: the pressing is hipless. sent5: something does not pluralize and it is not a kind of a amnesic if that it is not Rabelaisian hold. sent6: if the band is malicious then it is a amnesic. sent7: the pressing does air if it is anhydrous. sent8: the fact that the band is amnesic is not false if the pressing is malicious. sent9: if the granter does not watch Gordimer then it does not throng and is not a storied. sent10: if there exists something such that it is not a drinker the honeybee is not Rabelaisian. sent11: if the out-basket is not malicious the pressing is an airs that is cationic. sent12: the granter does not watch Gordimer. sent13: everything does not hum Thornton. sent14: the fact that the arsenide is cationic is not incorrect. sent15: the band does not air if the pressing is an air and it is cationic. sent16: a amnesic is an airs. sent17: something that is not humanistic is not a kind of a drinker. sent18: something that is not a cybernaut and is not a storied is not humanistic. sent19: something is not a cybernaut if the fact that it is not a ESE and it is not a Polish does not hold. sent20: the pressing is malicious if it is cationic. ; $proof$ = 
sent20 & sent1 -> int1: the pressing is malicious.; int1 & sent8 -> int2: the band is a amnesic.; sent16 -> int3: the band is an airs if it is a kind of a amnesic.; int2 & int3 -> hypothesis; __PROVED__