the fundamentalist is not coarse.
sent1: the ablactation is Soviets. sent2: the fact that something is acanthotic and is not autologous is incorrect if the fact that it does overprint dumdum hold. sent3: the crane is equinoctial if the dishrag is equinoctial. sent4: if the fundamentalist is not postmillennial the ablactation does not overrun scrapie but it is postmillennial. sent5: the fact that the ablactation is non-hydraulics but it is postmillennial is false if the cowlick does overrun scrapie. sent6: if there exists something such that that that it does not overprint dumdum and it is not a Gore is not incorrect is not right then the Gujarati is not autologous. sent7: if the ablactation overruns scrapie then the fundamentalist is not postmillennial but it is hydraulics. sent8: the ablactation is not acanthotic. sent9: everything is Soviets and/or it is not atypical. sent10: everything is not a anther. sent11: the Gujarati overprints dumdum if the avocado is a kind of a Gore. sent12: if the fundamentalist is a kind of coarse thing that is hydraulics then it is not postmillennial. sent13: if the fundamentalist is Soviets then it is hydraulics. sent14: if the gearset is a anther then the avocado is a kind of a Gore. sent15: if something is both non-postmillennial and hydraulics it is coarse. sent16: something is not non-acanthotic if it is postmillennial. sent17: the fact that the cowlick is non-acanthotic thing that does not overrun scrapie is incorrect if that the Gujarati is not autologous is not incorrect. sent18: if the fundamentalist is not postmillennial then that the ablactation does not overrun scrapie is not false. sent19: the fact that something does not overprint dumdum and it is not a Gore is not correct if it is not a anther. sent20: if the crane is a equinoctial then that the gearset is a anther hold. sent21: the ablactation overruns scrapie if the cowlick overruns scrapie. sent22: the scribble is not a kind of a finality but it is a creeps. sent23: the ablactation does not overrun scrapie. sent24: the fundamentalist is not indecent.
sent9 -> int1: the fundamentalist is either Soviets or not atypical or both.; void -> assump1: Let's assume that the fundamentalist is coarse.; sent16 -> int2: the ablactation is acanthotic if it is postmillennial.;
the fundamentalist is coarse.
sent15 -> int3: the fundamentalist is coarse if it is both not postmillennial and hydraulics.; sent19 -> int4: if the gearset is not a kind of a anther then that it does not overprint dumdum and is not a kind of a Gore is not right.; sent10 -> int5: the gearset is not a anther.; int4 & int5 -> int6: that the gearset does not overprint dumdum and it is not a kind of a Gore does not hold.; int6 -> int7: there is nothing such that it does not overprint dumdum and is not a kind of a Gore.; int7 -> int8: the fact that the avocado does not overprint dumdum and it is not a Gore is incorrect.; int8 -> int9: there exists something such that that it does not overprint dumdum and is not a Gore is wrong.; sent6 & int9 -> int10: the Gujarati is not autologous.; int10 & sent17 -> int11: the fact that the cowlick is not acanthotic and it does not overrun scrapie is incorrect.;
$hypothesis$ = the fundamentalist is not coarse. ; $context$ = sent1: the ablactation is Soviets. sent2: the fact that something is acanthotic and is not autologous is incorrect if the fact that it does overprint dumdum hold. sent3: the crane is equinoctial if the dishrag is equinoctial. sent4: if the fundamentalist is not postmillennial the ablactation does not overrun scrapie but it is postmillennial. sent5: the fact that the ablactation is non-hydraulics but it is postmillennial is false if the cowlick does overrun scrapie. sent6: if there exists something such that that that it does not overprint dumdum and it is not a Gore is not incorrect is not right then the Gujarati is not autologous. sent7: if the ablactation overruns scrapie then the fundamentalist is not postmillennial but it is hydraulics. sent8: the ablactation is not acanthotic. sent9: everything is Soviets and/or it is not atypical. sent10: everything is not a anther. sent11: the Gujarati overprints dumdum if the avocado is a kind of a Gore. sent12: if the fundamentalist is a kind of coarse thing that is hydraulics then it is not postmillennial. sent13: if the fundamentalist is Soviets then it is hydraulics. sent14: if the gearset is a anther then the avocado is a kind of a Gore. sent15: if something is both non-postmillennial and hydraulics it is coarse. sent16: something is not non-acanthotic if it is postmillennial. sent17: the fact that the cowlick is non-acanthotic thing that does not overrun scrapie is incorrect if that the Gujarati is not autologous is not incorrect. sent18: if the fundamentalist is not postmillennial then that the ablactation does not overrun scrapie is not false. sent19: the fact that something does not overprint dumdum and it is not a Gore is not correct if it is not a anther. sent20: if the crane is a equinoctial then that the gearset is a anther hold. sent21: the ablactation overruns scrapie if the cowlick overruns scrapie. sent22: the scribble is not a kind of a finality but it is a creeps. sent23: the ablactation does not overrun scrapie. sent24: the fundamentalist is not indecent. ; $proof$ = 
sent9 -> int1: the fundamentalist is either Soviets or not atypical or both.; void -> assump1: Let's assume that the fundamentalist is coarse.; sent16 -> int2: the ablactation is acanthotic if it is postmillennial.; __UNKNOWN__