the petrochemical is a kind of a rumble.
sent1: the fact that the journal is a time-switch and a rumble is not correct if the alewife does not dump stonefly. sent2: that the petrochemical refreshes storax is not incorrect. sent3: everything is not a nonpartisan. sent4: if there is something such that it is not mandibulate then the journal dumps stonefly. sent5: the alewife is a Mendelian if there exists something such that that it is a nonpartisan and econometric does not hold. sent6: something is Mendelian thing that does refresh maiden if that it is not a nonpartisan is true. sent7: if the fact that the boarder does refresh storax and does not surround does not hold then the alewife does not dump stonefly. sent8: if that something dumps stonefly but it is not a kind of a time-switch is not right it is not a rumble. sent9: there is something such that it is sublunar and it does dump arc-boutant. sent10: if something does refresh maiden the fact that it does not refresh storax and does surround is not true. sent11: the journal dumps stonefly if there exists something such that the fact that it is a Kisumu and is mandibulate is not correct. sent12: something does refresh maiden if it is a kind of a Mendelian. sent13: that the defecation is a Kisumu and it is mandibulate is incorrect. sent14: if there exists something such that it does not dump stonefly the fact that the bathhouse dump stonefly but it is not a kind of a time-switch is not true. sent15: the alewife does not surround if something is a time-switch. sent16: the anticipator does refresh canned and does list ellipse. sent17: if the alewife does not surround the petrochemical refreshes storax. sent18: there exists something such that the fact that it is Attic and it is a shoulder does not hold. sent19: there is something such that the fact that it is a kind of a nonpartisan and it is econometric is not correct. sent20: if something refreshes maiden then that the fact that it refreshes storax and it does not surround is right does not hold. sent21: if the alewife does not surround then the petrochemical refreshes storax and it is a rumble. sent22: if something dumps stonefly and/or is a time-switch the alewife does not surround.
sent13 -> int1: that there is something such that that it is both a Kisumu and mandibulate is false is correct.; int1 & sent11 -> int2: the journal does dump stonefly.; int2 -> int3: either the journal dumps stonefly or it is a time-switch or both.; int3 -> int4: something does dump stonefly or it is a kind of a time-switch or both.; int4 & sent22 -> int5: the alewife does not surround.; sent21 & int5 -> int6: the petrochemical refreshes storax and it is a kind of a rumble.; int6 -> hypothesis;
the petrochemical is not a rumble.
sent20 -> int7: if the boarder does refresh maiden then that it refreshes storax and does not surround is incorrect.; sent6 -> int8: if the boarder is not a nonpartisan it is a Mendelian and it does refresh maiden.; sent3 -> int9: the boarder is not a nonpartisan.; int8 & int9 -> int10: the boarder is a Mendelian and it does refresh maiden.; int10 -> int11: the boarder does refresh maiden.; int7 & int11 -> int12: the fact that the boarder does refresh storax but it does not surround is false.; sent7 & int12 -> int13: the alewife does not dump stonefly.; sent1 & int13 -> int14: that the journal is a time-switch and it does rumble does not hold.; int14 -> int15: there is something such that the fact that it is a time-switch and it does rumble is false.;
$hypothesis$ = the petrochemical is a kind of a rumble. ; $context$ = sent1: the fact that the journal is a time-switch and a rumble is not correct if the alewife does not dump stonefly. sent2: that the petrochemical refreshes storax is not incorrect. sent3: everything is not a nonpartisan. sent4: if there is something such that it is not mandibulate then the journal dumps stonefly. sent5: the alewife is a Mendelian if there exists something such that that it is a nonpartisan and econometric does not hold. sent6: something is Mendelian thing that does refresh maiden if that it is not a nonpartisan is true. sent7: if the fact that the boarder does refresh storax and does not surround does not hold then the alewife does not dump stonefly. sent8: if that something dumps stonefly but it is not a kind of a time-switch is not right it is not a rumble. sent9: there is something such that it is sublunar and it does dump arc-boutant. sent10: if something does refresh maiden the fact that it does not refresh storax and does surround is not true. sent11: the journal dumps stonefly if there exists something such that the fact that it is a Kisumu and is mandibulate is not correct. sent12: something does refresh maiden if it is a kind of a Mendelian. sent13: that the defecation is a Kisumu and it is mandibulate is incorrect. sent14: if there exists something such that it does not dump stonefly the fact that the bathhouse dump stonefly but it is not a kind of a time-switch is not true. sent15: the alewife does not surround if something is a time-switch. sent16: the anticipator does refresh canned and does list ellipse. sent17: if the alewife does not surround the petrochemical refreshes storax. sent18: there exists something such that the fact that it is Attic and it is a shoulder does not hold. sent19: there is something such that the fact that it is a kind of a nonpartisan and it is econometric is not correct. sent20: if something refreshes maiden then that the fact that it refreshes storax and it does not surround is right does not hold. sent21: if the alewife does not surround then the petrochemical refreshes storax and it is a rumble. sent22: if something dumps stonefly and/or is a time-switch the alewife does not surround. ; $proof$ = 
sent13 -> int1: that there is something such that that it is both a Kisumu and mandibulate is false is correct.; int1 & sent11 -> int2: the journal does dump stonefly.; int2 -> int3: either the journal dumps stonefly or it is a time-switch or both.; int3 -> int4: something does dump stonefly or it is a kind of a time-switch or both.; int4 & sent22 -> int5: the alewife does not surround.; sent21 & int5 -> int6: the petrochemical refreshes storax and it is a kind of a rumble.; int6 -> hypothesis; __PROVED__