the segregate is asteroidal if the Gemini does decompose.
sent1: the Gemini does dump eclipse if that the cherub does not decompose and is not genuine is not true. sent2: if there exists something such that it does not greet 500 the fact that the segregate is asteroidal and does decompose is false. sent3: either the indomethacin is intuitionist or it is a pound or both. sent4: if the fact that the segregate is not asteroidal is right that the cherub is not genuine but it does decompose is not right. sent5: the Gemini is not genuine if the fact that that the cherub does not decompose and does not dump eclipse is false is not wrong. sent6: if something greets tagger it is not a Listera but an envy. sent7: if the fact that the SACLANT dumps cherub is true then the surbase dumps cherub. sent8: if something is noncrystalline then it does dump cherub. sent9: something does not greet 500 if it is not a MEDLINE and it does not refresh largess. sent10: if the surbase is not a Listera and dumps cherub the trogon is not a beastliness. sent11: the fact that the cherub does not dump eclipse and it is not genuine is wrong if the segregate is not asteroidal. sent12: if the fact that the trogon is not a beastliness is not wrong the Gemini is unsympathetic and it is a wand. sent13: the cherub is not a kind of a MEDLINE and it does not refresh largess if there is something such that it is not sympathetic. sent14: if the indomethacin is a pound the SACLANT is noncrystalline. sent15: if the Gemini is genuine then the cherub does not decompose. sent16: the cuckold does not decompose if there exists something such that that it is asteroidal thing that does decompose is not right. sent17: there exists something such that it is a thumbscrew. sent18: if the surbase does not greet Gemini or greets tagger or both then it does greets tagger. sent19: if that the indomethacin is intuitionist is not wrong then the SACLANT is not crystalline. sent20: the surbase does not greet Gemini or does greet tagger or both if something is a kind of a thumbscrew. sent21: the Gemini does not decompose if the fact that the cherub does not dump eclipse and it is not genuine is false.
void -> assump1: Let's assume that the Gemini does decompose.; void -> assump2: Let's assume that the segregate is not asteroidal.; sent11 & assump2 -> int1: that the cherub does not dump eclipse and is not genuine is not right.; sent21 & int1 -> int2: the Gemini does not decompose.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the segregate is asteroidal is true.; [assump1] & int4 -> hypothesis;
the cuckold does not decompose.
sent9 -> int5: the cherub does not greet 500 if it is not a kind of a MEDLINE and it does not refresh largess.; sent6 -> int6: if the surbase does greet tagger it is not a Listera and is an envy.; sent17 & sent20 -> int7: the surbase either does not greet Gemini or greets tagger or both.; sent18 & int7 -> int8: the surbase does greet tagger.; int6 & int8 -> int9: the surbase is not a kind of a Listera but it envies.; int9 -> int10: the surbase is not a kind of a Listera.; sent8 -> int11: the SACLANT does dump cherub if it is noncrystalline.; sent3 & sent19 & sent14 -> int12: the SACLANT is noncrystalline.; int11 & int12 -> int13: the SACLANT dumps cherub.; sent7 & int13 -> int14: the surbase does dump cherub.; int10 & int14 -> int15: the surbase is not a Listera and does dump cherub.; sent10 & int15 -> int16: the trogon is not a beastliness.; sent12 & int16 -> int17: the Gemini is unsympathetic and is a kind of a wand.; int17 -> int18: the Gemini is unsympathetic.; int18 -> int19: there exists something such that the fact that it is unsympathetic is right.; int19 & sent13 -> int20: the cherub is not a kind of a MEDLINE and does not refresh largess.; int5 & int20 -> int21: the cherub does not greet 500.; int21 -> int22: there exists something such that it does not greet 500.; int22 & sent2 -> int23: that that the segregate is asteroidal and it does decompose is wrong is not wrong.; int23 -> int24: there is something such that that it is a kind of asteroidal thing that does decompose is incorrect.; int24 & sent16 -> hypothesis;
$hypothesis$ = the segregate is asteroidal if the Gemini does decompose. ; $context$ = sent1: the Gemini does dump eclipse if that the cherub does not decompose and is not genuine is not true. sent2: if there exists something such that it does not greet 500 the fact that the segregate is asteroidal and does decompose is false. sent3: either the indomethacin is intuitionist or it is a pound or both. sent4: if the fact that the segregate is not asteroidal is right that the cherub is not genuine but it does decompose is not right. sent5: the Gemini is not genuine if the fact that that the cherub does not decompose and does not dump eclipse is false is not wrong. sent6: if something greets tagger it is not a Listera but an envy. sent7: if the fact that the SACLANT dumps cherub is true then the surbase dumps cherub. sent8: if something is noncrystalline then it does dump cherub. sent9: something does not greet 500 if it is not a MEDLINE and it does not refresh largess. sent10: if the surbase is not a Listera and dumps cherub the trogon is not a beastliness. sent11: the fact that the cherub does not dump eclipse and it is not genuine is wrong if the segregate is not asteroidal. sent12: if the fact that the trogon is not a beastliness is not wrong the Gemini is unsympathetic and it is a wand. sent13: the cherub is not a kind of a MEDLINE and it does not refresh largess if there is something such that it is not sympathetic. sent14: if the indomethacin is a pound the SACLANT is noncrystalline. sent15: if the Gemini is genuine then the cherub does not decompose. sent16: the cuckold does not decompose if there exists something such that that it is asteroidal thing that does decompose is not right. sent17: there exists something such that it is a thumbscrew. sent18: if the surbase does not greet Gemini or greets tagger or both then it does greets tagger. sent19: if that the indomethacin is intuitionist is not wrong then the SACLANT is not crystalline. sent20: the surbase does not greet Gemini or does greet tagger or both if something is a kind of a thumbscrew. sent21: the Gemini does not decompose if the fact that the cherub does not dump eclipse and it is not genuine is false. ; $proof$ = 
void -> assump1: Let's assume that the Gemini does decompose.; void -> assump2: Let's assume that the segregate is not asteroidal.; sent11 & assump2 -> int1: that the cherub does not dump eclipse and is not genuine is not right.; sent21 & int1 -> int2: the Gemini does not decompose.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: that the segregate is asteroidal is true.; [assump1] & int4 -> hypothesis; __PROVED__