the microphoning is not a heroic.
sent1: if something is not a kind of a hypothalamus the fact that it is both not short-order and not a discontinuance is not correct. sent2: the snail is unquestionable if it is a hypothalamus. sent3: the fact that something cambers girder and is a discontinuance is not true if it is not short-order. sent4: The ovipositor does open audiovisual. sent5: that something is non-short-order a discontinuance does not hold if the fact that it is not a kind of a hypothalamus is true. sent6: the audiovisual rolls lanolin but it does not open ovipositor if the gymnast is not a kind of a lexeme. sent7: if the fact that the audiovisual does camber girder and it opens ovipositor is true then the Kurd does not camber girder. sent8: the snail does not camber girder. sent9: the snail is not short-order if the fact that the Kurd does pool but it is not short-order does not hold. sent10: if the fact that the snail does camber girder and is a kind of a discontinuance is incorrect the microphoning is not unquestionable. sent11: the snail does open ovipositor. sent12: the fact that the snail is short-order but it is not a kind of a discontinuance does not hold. sent13: that the microphoning is not short-order but non-heroic is not correct. sent14: the sedative does not open ovipositor. sent15: the fact that if the snail is not the hypothalamus then the fact that the snail is short-order but it is not a discontinuance is wrong is right. sent16: the microphoning is not unquestionable. sent17: the Kurd cambers girder if the snail is unquestionable. sent18: the audiovisual cambers girder. sent19: the fact that something is both not non-short-order and not a discontinuance is false if it is not a kind of a hypothalamus. sent20: the fact that the snail is not short-order but it is a discontinuance does not hold. sent21: if the snail is not a hypothalamus the fact that it is not short-order and is a kind of a discontinuance is not correct. sent22: The girder cambers audiovisual. sent23: the fact that something is both not heroic and not a discontinuance does not hold if it is not short-order. sent24: that the Kurd is a pool but it is not short-order is not correct if the audiovisual does not open ovipositor. sent25: the audiovisual does open ovipositor.
void -> assump1: Let's assume that the snail is a hypothalamus.; sent2 & assump1 -> int1: the snail is unquestionable.; int1 & sent17 -> int2: the Kurd cambers girder.; sent18 & sent25 -> int3: the audiovisual cambers girder and does open ovipositor.; sent7 & int3 -> int4: the fact that the Kurd does not camber girder hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the snail is not a hypothalamus.; sent1 -> int7: the fact that the snail is not short-order and is not a discontinuance does not hold if it is not a kind of a hypothalamus.; int6 & int7 -> int8: that the snail is both not short-order and not a discontinuance is not true.;
the fact that the microphoning is not a heroic does not hold.
sent3 -> int9: if the snail is not short-order that it cambers girder and is a discontinuance does not hold.;
$hypothesis$ = the microphoning is not a heroic. ; $context$ = sent1: if something is not a kind of a hypothalamus the fact that it is both not short-order and not a discontinuance is not correct. sent2: the snail is unquestionable if it is a hypothalamus. sent3: the fact that something cambers girder and is a discontinuance is not true if it is not short-order. sent4: The ovipositor does open audiovisual. sent5: that something is non-short-order a discontinuance does not hold if the fact that it is not a kind of a hypothalamus is true. sent6: the audiovisual rolls lanolin but it does not open ovipositor if the gymnast is not a kind of a lexeme. sent7: if the fact that the audiovisual does camber girder and it opens ovipositor is true then the Kurd does not camber girder. sent8: the snail does not camber girder. sent9: the snail is not short-order if the fact that the Kurd does pool but it is not short-order does not hold. sent10: if the fact that the snail does camber girder and is a kind of a discontinuance is incorrect the microphoning is not unquestionable. sent11: the snail does open ovipositor. sent12: the fact that the snail is short-order but it is not a kind of a discontinuance does not hold. sent13: that the microphoning is not short-order but non-heroic is not correct. sent14: the sedative does not open ovipositor. sent15: the fact that if the snail is not the hypothalamus then the fact that the snail is short-order but it is not a discontinuance is wrong is right. sent16: the microphoning is not unquestionable. sent17: the Kurd cambers girder if the snail is unquestionable. sent18: the audiovisual cambers girder. sent19: the fact that something is both not non-short-order and not a discontinuance is false if it is not a kind of a hypothalamus. sent20: the fact that the snail is not short-order but it is a discontinuance does not hold. sent21: if the snail is not a hypothalamus the fact that it is not short-order and is a kind of a discontinuance is not correct. sent22: The girder cambers audiovisual. sent23: the fact that something is both not heroic and not a discontinuance does not hold if it is not short-order. sent24: that the Kurd is a pool but it is not short-order is not correct if the audiovisual does not open ovipositor. sent25: the audiovisual does open ovipositor. ; $proof$ = 
void -> assump1: Let's assume that the snail is a hypothalamus.; sent2 & assump1 -> int1: the snail is unquestionable.; int1 & sent17 -> int2: the Kurd cambers girder.; sent18 & sent25 -> int3: the audiovisual cambers girder and does open ovipositor.; sent7 & int3 -> int4: the fact that the Kurd does not camber girder hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the snail is not a hypothalamus.; sent1 -> int7: the fact that the snail is not short-order and is not a discontinuance does not hold if it is not a kind of a hypothalamus.; int6 & int7 -> int8: that the snail is both not short-order and not a discontinuance is not true.; __UNKNOWN__