that the radical does not disown concretism hold.
sent1: the monkfish does not disown concretism and does stare fetus. sent2: the wingman is a kind of a wincey. sent3: the radical disowns concretism if the fact that the monkfish is not musicological but it does stare fetus is incorrect. sent4: the grinder is a Tampax if something that is not deductive is resolute. sent5: if the pellitory-of-the-wall is implausible then the Nanticoke is not deductive. sent6: if there is something such that it is not resolute and it disowns concretism the monkfish stares fetus. sent7: the fact that the monkfish is a kind of a proconsulship is right if it is musicological. sent8: there exists something such that it is not allopatric. sent9: the wingman is a proconsulship if it is a wincey. sent10: the dorbeetle is a afterdeck if something that does not disown concretism is a Tampax. sent11: the fact that the monkfish is not musicological and does stare fetus is not correct if the pellitory-of-the-wall is not implausible. sent12: the Nanticoke is a middle. sent13: the Nanticoke is resolute and it is an object. sent14: if the wingman is a kind of a proconsulship the dorbeetle is a afterdeck. sent15: the grinder is not a Tampax if there exists something such that it is a afterdeck.
void -> assump1: Let's assume that the pellitory-of-the-wall is implausible.; sent5 & assump1 -> int1: the Nanticoke is non-deductive.; sent13 -> int2: the Nanticoke is resolute.; int1 & int2 -> int3: the Nanticoke is non-deductive and is resolute.; int3 -> int4: there is something such that it is both not deductive and not irresolute.; int4 & sent4 -> int5: the grinder is a kind of a Tampax.; sent9 & sent2 -> int6: the wingman is a kind of a proconsulship.; sent14 & int6 -> int7: the dorbeetle is a afterdeck.; int7 -> int8: there is something such that it is a afterdeck.; int8 & sent15 -> int9: the grinder is not a kind of a Tampax.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the pellitory-of-the-wall is not implausible is correct.; int11 & sent11 -> int12: that the monkfish is not musicological but it stares fetus is incorrect.; int12 & sent3 -> hypothesis;
$hypothesis$ = that the radical does not disown concretism hold. ; $context$ = sent1: the monkfish does not disown concretism and does stare fetus. sent2: the wingman is a kind of a wincey. sent3: the radical disowns concretism if the fact that the monkfish is not musicological but it does stare fetus is incorrect. sent4: the grinder is a Tampax if something that is not deductive is resolute. sent5: if the pellitory-of-the-wall is implausible then the Nanticoke is not deductive. sent6: if there is something such that it is not resolute and it disowns concretism the monkfish stares fetus. sent7: the fact that the monkfish is a kind of a proconsulship is right if it is musicological. sent8: there exists something such that it is not allopatric. sent9: the wingman is a proconsulship if it is a wincey. sent10: the dorbeetle is a afterdeck if something that does not disown concretism is a Tampax. sent11: the fact that the monkfish is not musicological and does stare fetus is not correct if the pellitory-of-the-wall is not implausible. sent12: the Nanticoke is a middle. sent13: the Nanticoke is resolute and it is an object. sent14: if the wingman is a kind of a proconsulship the dorbeetle is a afterdeck. sent15: the grinder is not a Tampax if there exists something such that it is a afterdeck. ; $proof$ = 
void -> assump1: Let's assume that the pellitory-of-the-wall is implausible.; sent5 & assump1 -> int1: the Nanticoke is non-deductive.; sent13 -> int2: the Nanticoke is resolute.; int1 & int2 -> int3: the Nanticoke is non-deductive and is resolute.; int3 -> int4: there is something such that it is both not deductive and not irresolute.; int4 & sent4 -> int5: the grinder is a kind of a Tampax.; sent9 & sent2 -> int6: the wingman is a kind of a proconsulship.; sent14 & int6 -> int7: the dorbeetle is a afterdeck.; int7 -> int8: there is something such that it is a afterdeck.; int8 & sent15 -> int9: the grinder is not a kind of a Tampax.; int5 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the pellitory-of-the-wall is not implausible is correct.; int11 & sent11 -> int12: that the monkfish is not musicological but it stares fetus is incorrect.; int12 & sent3 -> hypothesis; __DISPROVED__