the queen is neuromuscular or results abrogator or both.
sent1: if the protagonist wakes high and is not a touraco that it is not wet is not false. sent2: the fact that something is neuromuscular or does result abrogator or both is incorrect if it is not asexual. sent3: That the caduceus wakes auctioneer is right. sent4: if something is a kind of a coeducation then the queen is neuromuscular or does result abrogator or both. sent5: the protagonist does not wake high and it is not a kind of a touraco. sent6: the protagonist wakes caduceus but it is not a coeducation if it is facultative. sent7: if a non-wet thing is not asexual the auctioneer is chromatographic. sent8: if something is chromatographic that it wets and it is not asexual is wrong. sent9: something is not chromatographic if it does wake caduceus. sent10: the abrogator does not result ventriloquist and it is not neuromuscular. sent11: the protagonist does result abrogator or it wets or both if there exists something such that it is neuromuscular. sent12: something is not asexual. sent13: something does not wet. sent14: the protagonist does not wake high. sent15: the protagonist is not wet if it does not wake high and it is not a touraco. sent16: something is a kind of non-wet thing that is not non-asexual. sent17: that the auctioneer wakes caduceus is right. sent18: something wets but it is not asexual. sent19: if something is not chromatographic and it does not wake caduceus the auctioneer does wake high.
sent15 & sent5 -> int1: the protagonist is non-wet.; void -> assump1: Let's assume that the protagonist is not asexual.; int1 & assump1 -> int2: the protagonist does not wet and it is not asexual.; int2 -> int3: something is both non-wet and not asexual.; int3 & sent7 -> int4: the auctioneer is not non-chromatographic.; sent9 -> int5: if the auctioneer wakes caduceus it is not chromatographic.; int5 & sent17 -> int6: the auctioneer is not chromatographic.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the protagonist is asexual.;
that either the queen is neuromuscular or it results abrogator or both does not hold.
sent2 -> int9: that the queen is not non-neuromuscular or does result abrogator or both is false if it is not asexual.; sent8 -> int10: if the protagonist is chromatographic that it is wet thing that is not asexual is wrong.;
$hypothesis$ = the queen is neuromuscular or results abrogator or both. ; $context$ = sent1: if the protagonist wakes high and is not a touraco that it is not wet is not false. sent2: the fact that something is neuromuscular or does result abrogator or both is incorrect if it is not asexual. sent3: That the caduceus wakes auctioneer is right. sent4: if something is a kind of a coeducation then the queen is neuromuscular or does result abrogator or both. sent5: the protagonist does not wake high and it is not a kind of a touraco. sent6: the protagonist wakes caduceus but it is not a coeducation if it is facultative. sent7: if a non-wet thing is not asexual the auctioneer is chromatographic. sent8: if something is chromatographic that it wets and it is not asexual is wrong. sent9: something is not chromatographic if it does wake caduceus. sent10: the abrogator does not result ventriloquist and it is not neuromuscular. sent11: the protagonist does result abrogator or it wets or both if there exists something such that it is neuromuscular. sent12: something is not asexual. sent13: something does not wet. sent14: the protagonist does not wake high. sent15: the protagonist is not wet if it does not wake high and it is not a touraco. sent16: something is a kind of non-wet thing that is not non-asexual. sent17: that the auctioneer wakes caduceus is right. sent18: something wets but it is not asexual. sent19: if something is not chromatographic and it does not wake caduceus the auctioneer does wake high. ; $proof$ = 
sent15 & sent5 -> int1: the protagonist is non-wet.; void -> assump1: Let's assume that the protagonist is not asexual.; int1 & assump1 -> int2: the protagonist does not wet and it is not asexual.; int2 -> int3: something is both non-wet and not asexual.; int3 & sent7 -> int4: the auctioneer is not non-chromatographic.; sent9 -> int5: if the auctioneer wakes caduceus it is not chromatographic.; int5 & sent17 -> int6: the auctioneer is not chromatographic.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the protagonist is asexual.; __UNKNOWN__