if the Sumatran is not insensitive then the fact that the ergosterol is not a kind of a Tribolium and abjures Kazan does not hold.
sent1: the ergosterol is not democratic if the fact that the Sumatran is a Paeonia or it is a mid-water or both is incorrect. sent2: if the Sumatran is not democratic the fact that the ergosterol is not a Paeonia but it is a Tribolium is false. sent3: if the Sumatran is not a mid-water that it does abjure Kazan and it is insensitive is wrong. sent4: that the ergosterol does not abjure Kazan but it is a Paeonia is wrong. sent5: the Sumatran does not criticize Cosmocampus. sent6: if that something is not a tricot is right it is not Markovian and it magnetizes Macrorhamphosidae. sent7: the fact that the Sumatran is a kind of non-sulphuric thing that emotes is not right. sent8: that something is not a Tribolium but it abjures Kazan does not hold if it is not democratic. sent9: that something is not democratic but it is insensitive is incorrect if it is not a kind of a mid-water. sent10: the fact that either the Sumatran is a Paeonia or it is a mid-water or both does not hold if it is sensitive. sent11: if the Sumatran does not abjure Kazan then that the ergosterol is democratic and a Paeonia is not true. sent12: if the ergosterol is not a Djiboutian that it is not democratic and is a harebell does not hold. sent13: the Monophysite is not a kind of a mid-water. sent14: the Sumatran is not insensitive but it is a Tribolium. sent15: if something is not a Tribolium then the fact that it is not insensitive and is a Paeonia is not right. sent16: something is not a kind of a Tribolium but it is a mid-water if it is not democratic. sent17: the ornithopod is not a Tribolium. sent18: the ergosterol is not a dynamite but it does magnetize pentathlete. sent19: that the ergosterol is not uncut is right. sent20: that the reveler is a Tribolium is incorrect. sent21: the ergosterol is not a kind of a Paeonia if it is not democratic. sent22: if the Sumatran is not insensitive then it is not a Paeonia and it is democratic.
void -> assump1: Let's assume that the Sumatran is not insensitive.; sent10 & assump1 -> int1: the fact that the Sumatran is a kind of a Paeonia and/or it is a mid-water does not hold.; int1 & sent1 -> int2: the ergosterol is not democratic.; sent8 -> int3: if the ergosterol is not democratic that it is not a Tribolium and abjures Kazan is not true.; int2 & int3 -> int4: the fact that the fact that the ergosterol is not a Tribolium and abjures Kazan is true is not correct.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the Sumatran is not insensitive then the fact that the ergosterol is not a kind of a Tribolium and abjures Kazan does not hold. ; $context$ = sent1: the ergosterol is not democratic if the fact that the Sumatran is a Paeonia or it is a mid-water or both is incorrect. sent2: if the Sumatran is not democratic the fact that the ergosterol is not a Paeonia but it is a Tribolium is false. sent3: if the Sumatran is not a mid-water that it does abjure Kazan and it is insensitive is wrong. sent4: that the ergosterol does not abjure Kazan but it is a Paeonia is wrong. sent5: the Sumatran does not criticize Cosmocampus. sent6: if that something is not a tricot is right it is not Markovian and it magnetizes Macrorhamphosidae. sent7: the fact that the Sumatran is a kind of non-sulphuric thing that emotes is not right. sent8: that something is not a Tribolium but it abjures Kazan does not hold if it is not democratic. sent9: that something is not democratic but it is insensitive is incorrect if it is not a kind of a mid-water. sent10: the fact that either the Sumatran is a Paeonia or it is a mid-water or both does not hold if it is sensitive. sent11: if the Sumatran does not abjure Kazan then that the ergosterol is democratic and a Paeonia is not true. sent12: if the ergosterol is not a Djiboutian that it is not democratic and is a harebell does not hold. sent13: the Monophysite is not a kind of a mid-water. sent14: the Sumatran is not insensitive but it is a Tribolium. sent15: if something is not a Tribolium then the fact that it is not insensitive and is a Paeonia is not right. sent16: something is not a kind of a Tribolium but it is a mid-water if it is not democratic. sent17: the ornithopod is not a Tribolium. sent18: the ergosterol is not a dynamite but it does magnetize pentathlete. sent19: that the ergosterol is not uncut is right. sent20: that the reveler is a Tribolium is incorrect. sent21: the ergosterol is not a kind of a Paeonia if it is not democratic. sent22: if the Sumatran is not insensitive then it is not a Paeonia and it is democratic. ; $proof$ = 
void -> assump1: Let's assume that the Sumatran is not insensitive.; sent10 & assump1 -> int1: the fact that the Sumatran is a kind of a Paeonia and/or it is a mid-water does not hold.; int1 & sent1 -> int2: the ergosterol is not democratic.; sent8 -> int3: if the ergosterol is not democratic that it is not a Tribolium and abjures Kazan is not true.; int2 & int3 -> int4: the fact that the fact that the ergosterol is not a Tribolium and abjures Kazan is true is not correct.; [assump1] & int4 -> hypothesis; __PROVED__