the fact that the Superior is a minesweeper and staggers dukedom is not right.
sent1: if something is a kind of an outcast the fact that it is a kind of a kimberlite is true. sent2: the acidophil is dissuasive thing that does not kindle. sent3: the qadi is not a kind of a paddlewheel and/or it is not a corruptibility. sent4: the acidophil does not kindle if that the Superior does not stagger dukedom and it is not a Odessa does not hold. sent5: if that the qadi is not a kind of a corruptibility or it does not bar perfective or both is false the streptocarpus is not a minesweeper. sent6: the acidophil is not a Odessa and it is not a kind of a ventriloquism. sent7: that the qadi is not a kind of a corruptibility and/or does not bar perfective is not right if it is not a paddlewheel. sent8: something is a minesweeper or it does not bar perfective or both. sent9: the fact that the bell does stagger conger and does fail relay is not correct. sent10: the conger is not a mecopteran if that the corchorus is not a kind of a mecopteran and does bar quicklime does not hold. sent11: the qadi is a corruptibility if there is something such that it is a kimberlite and it is a paddlewheel. sent12: if the conger is not a mecopteran then that it is not non-romantic and is not hermeneutic is not true. sent13: the conger is unexpendable if the fact that it is not non-romantic and it is not hermeneutic is not right. sent14: the fact that the Superior is a kind of a minesweeper that staggers dukedom is not correct if the acidophil is not dissuasive. sent15: if the acidophil does not kindle the hank is dissuasive and a ventriloquism. sent16: if the qadi is not a ventriloquism then the streptocarpus does bar perfective and it is a Odessa. sent17: if there exists something such that it is not a paddlewheel or it is not a kind of a corruptibility or both the streptocarpus does bar perfective. sent18: the sorbet is a kind of an outcast if the conger does bar lector. sent19: the conger does bar lector if it is unexpendable. sent20: the Superior does stagger dukedom if there exists something such that the fact that it is dissuasive and not a Odessa is not false. sent21: that the fact that the corchorus is not a mecopteran and bars quicklime is false hold. sent22: that if there exists something such that that it staggers conger and it does fail relay is incorrect then the sorbet is a paddlewheel hold. sent23: the Superior is a minesweeper if that the streptocarpus does bar perfective is correct. sent24: something is a paddlewheel or is not a corruptibility or both.
sent2 -> int1: the acidophil is dissuasive.; sent6 -> int2: the acidophil is not a Odessa.; int1 & int2 -> int3: the acidophil is a kind of dissuasive thing that is not a Odessa.; int3 -> int4: that something is dissuasive but it is not a Odessa is not false.; int4 & sent20 -> int5: the Superior staggers dukedom.; sent3 -> int6: either something is not a paddlewheel or it is not a corruptibility or both.; int6 & sent17 -> int7: the streptocarpus bars perfective.; sent23 & int7 -> int8: the Superior is a kind of a minesweeper.; int5 & int8 -> hypothesis;
that the Superior is a kind of a minesweeper and does stagger dukedom is wrong.
sent1 -> int9: the sorbet is a kind of a kimberlite if it is a kind of an outcast.; sent10 & sent21 -> int10: the conger is not a kind of a mecopteran.; sent12 & int10 -> int11: that the conger is a kind of romantic thing that is not hermeneutic does not hold.; sent13 & int11 -> int12: the conger is unexpendable.; sent19 & int12 -> int13: the conger does bar lector.; sent18 & int13 -> int14: the sorbet is an outcast.; int9 & int14 -> int15: the sorbet is a kimberlite.; sent9 -> int16: there is something such that that it staggers conger and does fail relay is wrong.; int16 & sent22 -> int17: the sorbet is a kind of a paddlewheel.; int15 & int17 -> int18: the sorbet is a kind of a kimberlite and it is a paddlewheel.; int18 -> int19: something is a kimberlite that is a kind of a paddlewheel.; int19 & sent11 -> int20: the qadi is a corruptibility.;
$hypothesis$ = the fact that the Superior is a minesweeper and staggers dukedom is not right. ; $context$ = sent1: if something is a kind of an outcast the fact that it is a kind of a kimberlite is true. sent2: the acidophil is dissuasive thing that does not kindle. sent3: the qadi is not a kind of a paddlewheel and/or it is not a corruptibility. sent4: the acidophil does not kindle if that the Superior does not stagger dukedom and it is not a Odessa does not hold. sent5: if that the qadi is not a kind of a corruptibility or it does not bar perfective or both is false the streptocarpus is not a minesweeper. sent6: the acidophil is not a Odessa and it is not a kind of a ventriloquism. sent7: that the qadi is not a kind of a corruptibility and/or does not bar perfective is not right if it is not a paddlewheel. sent8: something is a minesweeper or it does not bar perfective or both. sent9: the fact that the bell does stagger conger and does fail relay is not correct. sent10: the conger is not a mecopteran if that the corchorus is not a kind of a mecopteran and does bar quicklime does not hold. sent11: the qadi is a corruptibility if there is something such that it is a kimberlite and it is a paddlewheel. sent12: if the conger is not a mecopteran then that it is not non-romantic and is not hermeneutic is not true. sent13: the conger is unexpendable if the fact that it is not non-romantic and it is not hermeneutic is not right. sent14: the fact that the Superior is a kind of a minesweeper that staggers dukedom is not correct if the acidophil is not dissuasive. sent15: if the acidophil does not kindle the hank is dissuasive and a ventriloquism. sent16: if the qadi is not a ventriloquism then the streptocarpus does bar perfective and it is a Odessa. sent17: if there exists something such that it is not a paddlewheel or it is not a kind of a corruptibility or both the streptocarpus does bar perfective. sent18: the sorbet is a kind of an outcast if the conger does bar lector. sent19: the conger does bar lector if it is unexpendable. sent20: the Superior does stagger dukedom if there exists something such that the fact that it is dissuasive and not a Odessa is not false. sent21: that the fact that the corchorus is not a mecopteran and bars quicklime is false hold. sent22: that if there exists something such that that it staggers conger and it does fail relay is incorrect then the sorbet is a paddlewheel hold. sent23: the Superior is a minesweeper if that the streptocarpus does bar perfective is correct. sent24: something is a paddlewheel or is not a corruptibility or both. ; $proof$ = 
sent2 -> int1: the acidophil is dissuasive.; sent6 -> int2: the acidophil is not a Odessa.; int1 & int2 -> int3: the acidophil is a kind of dissuasive thing that is not a Odessa.; int3 -> int4: that something is dissuasive but it is not a Odessa is not false.; int4 & sent20 -> int5: the Superior staggers dukedom.; sent3 -> int6: either something is not a paddlewheel or it is not a corruptibility or both.; int6 & sent17 -> int7: the streptocarpus bars perfective.; sent23 & int7 -> int8: the Superior is a kind of a minesweeper.; int5 & int8 -> hypothesis; __DISPROVED__