there exists something such that if that it is bacillar is not wrong then that it does not lurch preamble and is a ideogram does not hold.
sent1: there is something such that if it is bacillar the fact that it does lurch preamble and is a ideogram does not hold. sent2: there is something such that if it is a kind of a mire the fact that it is a kind of a preachification and is emulous is wrong. sent3: that the perisperm is a gleam and it copes Lie does not hold if it lurches perisperm. sent4: that the fact that the perisperm is eschatological and bacteremic is false is not wrong if it does board. sent5: if something is bacillar then the fact that the fact that it does not lurch preamble and it is a ideogram is not false does not hold.
sent5 -> int1: that the perisperm does not lurch preamble and is a ideogram does not hold if it is bacillar.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is bacillar is not wrong then that it does not lurch preamble and is a ideogram does not hold. ; $context$ = sent1: there is something such that if it is bacillar the fact that it does lurch preamble and is a ideogram does not hold. sent2: there is something such that if it is a kind of a mire the fact that it is a kind of a preachification and is emulous is wrong. sent3: that the perisperm is a gleam and it copes Lie does not hold if it lurches perisperm. sent4: that the fact that the perisperm is eschatological and bacteremic is false is not wrong if it does board. sent5: if something is bacillar then the fact that the fact that it does not lurch preamble and it is a ideogram is not false does not hold. ; $proof$ = 
sent5 -> int1: that the perisperm does not lurch preamble and is a ideogram does not hold if it is bacillar.; int1 -> hypothesis; __PROVED__