the muscleman is a kind of a speechwriter.
sent1: the stubble is not blastomycotic if that that the finnan does not syllogize lotus and is not blastomycotic is right does not hold. sent2: there exists something such that it is a barbel. sent3: if the crake is not glandular then the fact that the fact that that the finnan is not rectal and/or it does syllogize constituent is not wrong is wrong is not incorrect. sent4: there is something such that it does not syllogize constituent. sent5: if the stubble is a barbel and is not a kind of a speechwriter then the muscleman is not a kind of a speechwriter. sent6: something that is not blastomycotic is not rectal. sent7: that the fact that the finnan does not syllogize lotus and it is not blastomycotic is not incorrect is not right. sent8: if something is a barbel and it is a kind of a spiked the stubble does not syllogize constituent. sent9: if the puree is glandular then the muscleman is a speechwriter. sent10: the puree is glandular if that something is non-rectal thing that does not syllogize constituent is not wrong. sent11: if the finnan syllogizes lotus then the stubble is not blastomycotic. sent12: there exists something such that it is a kind of non-rectal thing that syllogizes constituent. sent13: the wurtzite is a barbel and it spikes. sent14: there is something such that it is not rectal. sent15: the puree is a speechwriter. sent16: the finnan does not syllogize lotus and it is not a kind of a barbel. sent17: the wurtzite does spike.
sent13 -> int1: there exists something such that it is a barbel and a spiked.; int1 & sent8 -> int2: the stubble does not syllogize constituent.; sent6 -> int3: if the fact that the stubble is not blastomycotic hold then it is not rectal.; sent1 & sent7 -> int4: the stubble is not blastomycotic.; int3 & int4 -> int5: the stubble is not rectal.; int2 & int5 -> int6: the stubble is not rectal and it does not syllogize constituent.; int6 -> int7: something is not rectal and it does not syllogize constituent.; int7 & sent10 -> int8: the puree is glandular.; int8 & sent9 -> hypothesis;
the muscleman is not a kind of a speechwriter.
$hypothesis$ = the muscleman is a kind of a speechwriter. ; $context$ = sent1: the stubble is not blastomycotic if that that the finnan does not syllogize lotus and is not blastomycotic is right does not hold. sent2: there exists something such that it is a barbel. sent3: if the crake is not glandular then the fact that the fact that that the finnan is not rectal and/or it does syllogize constituent is not wrong is wrong is not incorrect. sent4: there is something such that it does not syllogize constituent. sent5: if the stubble is a barbel and is not a kind of a speechwriter then the muscleman is not a kind of a speechwriter. sent6: something that is not blastomycotic is not rectal. sent7: that the fact that the finnan does not syllogize lotus and it is not blastomycotic is not incorrect is not right. sent8: if something is a barbel and it is a kind of a spiked the stubble does not syllogize constituent. sent9: if the puree is glandular then the muscleman is a speechwriter. sent10: the puree is glandular if that something is non-rectal thing that does not syllogize constituent is not wrong. sent11: if the finnan syllogizes lotus then the stubble is not blastomycotic. sent12: there exists something such that it is a kind of non-rectal thing that syllogizes constituent. sent13: the wurtzite is a barbel and it spikes. sent14: there is something such that it is not rectal. sent15: the puree is a speechwriter. sent16: the finnan does not syllogize lotus and it is not a kind of a barbel. sent17: the wurtzite does spike. ; $proof$ = 
sent13 -> int1: there exists something such that it is a barbel and a spiked.; int1 & sent8 -> int2: the stubble does not syllogize constituent.; sent6 -> int3: if the fact that the stubble is not blastomycotic hold then it is not rectal.; sent1 & sent7 -> int4: the stubble is not blastomycotic.; int3 & int4 -> int5: the stubble is not rectal.; int2 & int5 -> int6: the stubble is not rectal and it does not syllogize constituent.; int6 -> int7: something is not rectal and it does not syllogize constituent.; int7 & sent10 -> int8: the puree is glandular.; int8 & sent9 -> hypothesis; __PROVED__