the collet is a epigraph.
sent1: the noncombatant does overuse histaminase if that the watercolor does overuse transient and is not mutable is wrong. sent2: the moneywort is a kind of a Otus. sent3: if the moneywort is not a kind of a Vanbrugh then that the watercolor overuses transient but it is not mutable is not true. sent4: if the fact that something is a Otus but not a murderee does not hold it is not a Vanbrugh. sent5: if the watercolor is mutable the noncombatant does overuse histaminase. sent6: that the noncombatant is a kind of a lobby that fancies does not hold. sent7: that the watercolor is not a mexiletine and does tip serif is wrong. sent8: that the watercolor does tip serif is right. sent9: if the noncombatant is not a lobby then that it is not a plotter and it does overuse transient is incorrect. sent10: if the noncombatant is a kind of a plotter and does overuse histaminase the collet is not a epigraph. sent11: the gateau overuses histaminase. sent12: if the gateau is not mutable then the collet is a Vanbrugh that interjects. sent13: everything is a plotter and it tips serif. sent14: if the watercolor is non-mutable thing that overuses histaminase then the gateau is not mutable. sent15: the noncombatant does not lobby if the fact that it does lobby and it fancies is not correct. sent16: that the gateau is not a kind of a mexiletine and/or lobbies does not hold. sent17: if there is something such that it is a Otus and it is not a murderee then the gateau interjects. sent18: if the fact that the gateau is not a kind of a mexiletine and/or it does lobby is wrong it does not interject. sent19: something that does interject is a epigraph.
void -> assump1: Let's assume that the moneywort is a Otus and is not a murderee.; assump1 -> int1: there is something such that it is both a Otus and not a murderee.; int1 & sent17 -> int2: the gateau does interject.; sent18 & sent16 -> int3: the gateau does not interject.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the moneywort is a Otus but it is not a murderee is incorrect.; sent4 -> int6: if the fact that the moneywort is both a Otus and not a murderee is not right it is not a kind of a Vanbrugh.; int5 & int6 -> int7: the moneywort is not a Vanbrugh.; int7 & sent3 -> int8: the fact that the watercolor does overuse transient and is not mutable is wrong.; int8 & sent1 -> int9: the noncombatant does overuse histaminase.; sent13 -> int10: the noncombatant is a plotter that tips serif.; int10 -> int11: the noncombatant is a plotter.; int9 & int11 -> int12: the noncombatant is a kind of a plotter that does overuse histaminase.; int12 & sent10 -> hypothesis;
the collet is a kind of a epigraph.
sent19 -> int13: the collet is a epigraph if it does interject.; sent15 & sent6 -> int14: the noncombatant does not lobby.; sent9 & int14 -> int15: the fact that that the noncombatant is not a plotter and overuses transient is false is not false.; int15 -> int16: there is something such that that it is not a plotter and overuses transient is not correct.;
$hypothesis$ = the collet is a epigraph. ; $context$ = sent1: the noncombatant does overuse histaminase if that the watercolor does overuse transient and is not mutable is wrong. sent2: the moneywort is a kind of a Otus. sent3: if the moneywort is not a kind of a Vanbrugh then that the watercolor overuses transient but it is not mutable is not true. sent4: if the fact that something is a Otus but not a murderee does not hold it is not a Vanbrugh. sent5: if the watercolor is mutable the noncombatant does overuse histaminase. sent6: that the noncombatant is a kind of a lobby that fancies does not hold. sent7: that the watercolor is not a mexiletine and does tip serif is wrong. sent8: that the watercolor does tip serif is right. sent9: if the noncombatant is not a lobby then that it is not a plotter and it does overuse transient is incorrect. sent10: if the noncombatant is a kind of a plotter and does overuse histaminase the collet is not a epigraph. sent11: the gateau overuses histaminase. sent12: if the gateau is not mutable then the collet is a Vanbrugh that interjects. sent13: everything is a plotter and it tips serif. sent14: if the watercolor is non-mutable thing that overuses histaminase then the gateau is not mutable. sent15: the noncombatant does not lobby if the fact that it does lobby and it fancies is not correct. sent16: that the gateau is not a kind of a mexiletine and/or lobbies does not hold. sent17: if there is something such that it is a Otus and it is not a murderee then the gateau interjects. sent18: if the fact that the gateau is not a kind of a mexiletine and/or it does lobby is wrong it does not interject. sent19: something that does interject is a epigraph. ; $proof$ = 
void -> assump1: Let's assume that the moneywort is a Otus and is not a murderee.; assump1 -> int1: there is something such that it is both a Otus and not a murderee.; int1 & sent17 -> int2: the gateau does interject.; sent18 & sent16 -> int3: the gateau does not interject.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the moneywort is a Otus but it is not a murderee is incorrect.; sent4 -> int6: if the fact that the moneywort is both a Otus and not a murderee is not right it is not a kind of a Vanbrugh.; int5 & int6 -> int7: the moneywort is not a Vanbrugh.; int7 & sent3 -> int8: the fact that the watercolor does overuse transient and is not mutable is wrong.; int8 & sent1 -> int9: the noncombatant does overuse histaminase.; sent13 -> int10: the noncombatant is a plotter that tips serif.; int10 -> int11: the noncombatant is a plotter.; int9 & int11 -> int12: the noncombatant is a kind of a plotter that does overuse histaminase.; int12 & sent10 -> hypothesis; __DISPROVED__