the fact that there is something such that it does not restart is not right.
sent1: if the electrotherapist is not a mule then the fact that the plater is a kind of a dip and is a secretariat is not correct. sent2: the fact that the plater is a kind of a universality but it is not a kind of a construction is wrong. sent3: if the fact that the plater does restart and it is a universality is not right then it is not a construction. sent4: if the electrotherapist is not a dip then that it does transship token and it is a kind of a mule is not correct. sent5: something is not an inmate. sent6: if something is not a Machaeranthera it is cruciferous and it is unenforceable. sent7: the fact that something does not transship electrotherapist and it does not dip is not true if it is a mule. sent8: the electrotherapist does not restart if it does not transship token. sent9: that the plater is both not a universality and not a construction is incorrect. sent10: if the fact that something does dip and it is a mule is wrong then it is not a universality. sent11: if that something transships token and it is a kind of a mule does not hold it does not restart. sent12: if the spirochete is unenforceable that the lubricant does restart but it does not transship token is wrong. sent13: something does not restart if it does not transship token. sent14: the electrotherapist is not a construction. sent15: if the fact that the electrotherapist does restart and it is a construction is wrong then it is not a universality. sent16: the fact that the loofah is a universality and is a hickory is not correct if it is not saxicolous. sent17: the electrotherapist is not a dip if that the plater is not a universality and not a construction is incorrect. sent18: something restarts. sent19: the electrotherapist is not a construction if that the plater does not transship token and it does not dip is wrong. sent20: the fact that the plater is not a universality but a construction does not hold. sent21: there is something such that it is not a Lucullus. sent22: something is not a construction.
sent17 & sent9 -> int1: the electrotherapist does not dip.; int1 & sent4 -> int2: that the electrotherapist does transship token and is a mule does not hold.; sent11 -> int3: the electrotherapist does not restart if the fact that it transships token and it is a kind of a mule does not hold.; int2 & int3 -> int4: the electrotherapist does not restart.; int4 -> hypothesis;
that the plater is both a dip and a secretariat is false.
sent6 -> int5: the spirochete is cruciferous thing that is unenforceable if that it is not a Machaeranthera hold.;
$hypothesis$ = the fact that there is something such that it does not restart is not right. ; $context$ = sent1: if the electrotherapist is not a mule then the fact that the plater is a kind of a dip and is a secretariat is not correct. sent2: the fact that the plater is a kind of a universality but it is not a kind of a construction is wrong. sent3: if the fact that the plater does restart and it is a universality is not right then it is not a construction. sent4: if the electrotherapist is not a dip then that it does transship token and it is a kind of a mule is not correct. sent5: something is not an inmate. sent6: if something is not a Machaeranthera it is cruciferous and it is unenforceable. sent7: the fact that something does not transship electrotherapist and it does not dip is not true if it is a mule. sent8: the electrotherapist does not restart if it does not transship token. sent9: that the plater is both not a universality and not a construction is incorrect. sent10: if the fact that something does dip and it is a mule is wrong then it is not a universality. sent11: if that something transships token and it is a kind of a mule does not hold it does not restart. sent12: if the spirochete is unenforceable that the lubricant does restart but it does not transship token is wrong. sent13: something does not restart if it does not transship token. sent14: the electrotherapist is not a construction. sent15: if the fact that the electrotherapist does restart and it is a construction is wrong then it is not a universality. sent16: the fact that the loofah is a universality and is a hickory is not correct if it is not saxicolous. sent17: the electrotherapist is not a dip if that the plater is not a universality and not a construction is incorrect. sent18: something restarts. sent19: the electrotherapist is not a construction if that the plater does not transship token and it does not dip is wrong. sent20: the fact that the plater is not a universality but a construction does not hold. sent21: there is something such that it is not a Lucullus. sent22: something is not a construction. ; $proof$ = 
sent17 & sent9 -> int1: the electrotherapist does not dip.; int1 & sent4 -> int2: that the electrotherapist does transship token and is a mule does not hold.; sent11 -> int3: the electrotherapist does not restart if the fact that it transships token and it is a kind of a mule does not hold.; int2 & int3 -> int4: the electrotherapist does not restart.; int4 -> hypothesis; __DISPROVED__