the retiree does not soldier erection and is not non-semiterrestrial if the cyclostyle is morphophonemics.
sent1: if the retiree is a drusen then the cyclostyle is not a Angolese and is semiterrestrial. sent2: the erection is not a kind of a Angolese if the fact that something is a kind of a drusen and it is morphophonemics is true. sent3: the retiree is semiterrestrial. sent4: something is semiterrestrial thing that is morphophonemics. sent5: something is unsalable. sent6: the fact that the retiree does soldier erection and is semiterrestrial is correct if there is something such that it is not a kind of a Angolese. sent7: the cyclostyle is a drusen. sent8: the cyclostyle is morphophonemics and soldiers erection if the retiree is a drusen. sent9: the retiree does soldier erection and it is semiterrestrial. sent10: the retiree is a kind of a Angolese and it is semiterrestrial if the erection does soldier erection. sent11: there is something such that it is non-semiterrestrial. sent12: the cyclostyle is a kind of semiterrestrial thing that soldiers erection if there exists something such that it is not a drusen. sent13: there exists something such that it negotiates tarantism. sent14: something is semiterrestrial. sent15: the erection does not soldier erection. sent16: the retiree is semiterrestrial if the cyclostyle is morphophonemics. sent17: something is a Angolese. sent18: there exists something such that it is not a Tachypleus. sent19: there exists something such that it is a kind of a drusen. sent20: if there exists something such that the fact that it is not semiterrestrial is correct the retiree soldiers erection and is morphophonemics. sent21: there exists something such that it is not a demur. sent22: something is morphophonemics.
void -> assump1: Let's assume that the cyclostyle is morphophonemics.; sent7 & assump1 -> int1: the cyclostyle is a drusen and it is morphophonemics.; int1 -> int2: something is a drusen that is morphophonemics.; int2 & sent2 -> int3: the erection is not a kind of a Angolese.; int3 -> int4: something is not a Angolese.;
$hypothesis$ = the retiree does not soldier erection and is not non-semiterrestrial if the cyclostyle is morphophonemics. ; $context$ = sent1: if the retiree is a drusen then the cyclostyle is not a Angolese and is semiterrestrial. sent2: the erection is not a kind of a Angolese if the fact that something is a kind of a drusen and it is morphophonemics is true. sent3: the retiree is semiterrestrial. sent4: something is semiterrestrial thing that is morphophonemics. sent5: something is unsalable. sent6: the fact that the retiree does soldier erection and is semiterrestrial is correct if there is something such that it is not a kind of a Angolese. sent7: the cyclostyle is a drusen. sent8: the cyclostyle is morphophonemics and soldiers erection if the retiree is a drusen. sent9: the retiree does soldier erection and it is semiterrestrial. sent10: the retiree is a kind of a Angolese and it is semiterrestrial if the erection does soldier erection. sent11: there is something such that it is non-semiterrestrial. sent12: the cyclostyle is a kind of semiterrestrial thing that soldiers erection if there exists something such that it is not a drusen. sent13: there exists something such that it negotiates tarantism. sent14: something is semiterrestrial. sent15: the erection does not soldier erection. sent16: the retiree is semiterrestrial if the cyclostyle is morphophonemics. sent17: something is a Angolese. sent18: there exists something such that it is not a Tachypleus. sent19: there exists something such that it is a kind of a drusen. sent20: if there exists something such that the fact that it is not semiterrestrial is correct the retiree soldiers erection and is morphophonemics. sent21: there exists something such that it is not a demur. sent22: something is morphophonemics. ; $proof$ = 
void -> assump1: Let's assume that the cyclostyle is morphophonemics.; sent7 & assump1 -> int1: the cyclostyle is a drusen and it is morphophonemics.; int1 -> int2: something is a drusen that is morphophonemics.; int2 & sent2 -> int3: the erection is not a kind of a Angolese.; int3 -> int4: something is not a Angolese.; __UNKNOWN__