that the fact that the macebearer does not tag nicad and is not Jain is not incorrect is not right.
sent1: if something does defuse ANOVA then it is a Anniellidae and it is non-arborical. sent2: the Sphinx is not a parr. sent3: something does not defuse RAIU if it is not a kind of a parr and is not extensive. sent4: if the abolitionist does tag nicad then that the macebearer does not tag nicad is not wrong. sent5: that the nicad does not defuse RAIU if there exists something such that that it is a kind of non-arborical a Anniellidae does not hold is true. sent6: the abolitionist is calcicolous if something that is a kind of a Anniellidae is not arborical. sent7: if something does not defuse macebearer but it is a wire then it is not calcicolous. sent8: that the nicad is not a kind of a busload and/or is Jain is not right if the librettist does not defuse RAIU. sent9: if the fact that the abolitionist is not arborical and it does not tag nicad does not hold the terbinafine is not arborical. sent10: the librettist is not a parr and it is not extensive if it is inglorious. sent11: if the fact that the nicad either is not a kind of a busload or is Jain or both is incorrect then the macebearer is not Jain. sent12: that the macebearer does not tag nicad and is not Jain is false if the methylenedioxymethamphetamine does tag nicad. sent13: something that does not tag nicad does not defuse macebearer and is a wire. sent14: something is not a despite but it does tag Mayday. sent15: everything is unsent. sent16: if the methylenedioxymethamphetamine is not calcicolous the abolitionist is not a kind of a busload. sent17: if that the abolitionist is not a busload is true the nicad is a busload and does defuse RAIU. sent18: if the camellia is unsent then the Sphinx defuses ANOVA.
sent13 -> int1: if the methylenedioxymethamphetamine does not tag nicad it does not defuse macebearer and is a wire.; void -> assump1: Let's assume that the methylenedioxymethamphetamine does not tag nicad.; int1 & assump1 -> int2: the methylenedioxymethamphetamine does not defuse macebearer and is a kind of a wire.; sent7 -> int3: if the methylenedioxymethamphetamine does not defuse macebearer and is a wire then the fact that it is calcicolous is incorrect.; int2 & int3 -> int4: the methylenedioxymethamphetamine is not calcicolous.; int4 & sent16 -> int5: that the abolitionist is not a kind of a busload is true.; int5 & sent17 -> int6: the nicad is a kind of a busload that does defuse RAIU.; int6 -> int7: the nicad defuses RAIU.;
the macebearer does not tag nicad and it is non-Jain.
sent1 -> int8: if the Sphinx defuses ANOVA then it is a Anniellidae and is not arborical.; sent15 -> int9: the camellia is unsent.; sent18 & int9 -> int10: the Sphinx does defuse ANOVA.; int8 & int10 -> int11: the Sphinx is a kind of a Anniellidae that is not arborical.; int11 -> int12: something is a Anniellidae and non-arborical.; int12 & sent6 -> int13: the abolitionist is calcicolous.; sent3 -> int14: if the librettist is not a parr and is not extensive then the fact that it does not defuse RAIU is true.;
$hypothesis$ = that the fact that the macebearer does not tag nicad and is not Jain is not incorrect is not right. ; $context$ = sent1: if something does defuse ANOVA then it is a Anniellidae and it is non-arborical. sent2: the Sphinx is not a parr. sent3: something does not defuse RAIU if it is not a kind of a parr and is not extensive. sent4: if the abolitionist does tag nicad then that the macebearer does not tag nicad is not wrong. sent5: that the nicad does not defuse RAIU if there exists something such that that it is a kind of non-arborical a Anniellidae does not hold is true. sent6: the abolitionist is calcicolous if something that is a kind of a Anniellidae is not arborical. sent7: if something does not defuse macebearer but it is a wire then it is not calcicolous. sent8: that the nicad is not a kind of a busload and/or is Jain is not right if the librettist does not defuse RAIU. sent9: if the fact that the abolitionist is not arborical and it does not tag nicad does not hold the terbinafine is not arborical. sent10: the librettist is not a parr and it is not extensive if it is inglorious. sent11: if the fact that the nicad either is not a kind of a busload or is Jain or both is incorrect then the macebearer is not Jain. sent12: that the macebearer does not tag nicad and is not Jain is false if the methylenedioxymethamphetamine does tag nicad. sent13: something that does not tag nicad does not defuse macebearer and is a wire. sent14: something is not a despite but it does tag Mayday. sent15: everything is unsent. sent16: if the methylenedioxymethamphetamine is not calcicolous the abolitionist is not a kind of a busload. sent17: if that the abolitionist is not a busload is true the nicad is a busload and does defuse RAIU. sent18: if the camellia is unsent then the Sphinx defuses ANOVA. ; $proof$ = 
sent13 -> int1: if the methylenedioxymethamphetamine does not tag nicad it does not defuse macebearer and is a wire.; void -> assump1: Let's assume that the methylenedioxymethamphetamine does not tag nicad.; int1 & assump1 -> int2: the methylenedioxymethamphetamine does not defuse macebearer and is a kind of a wire.; sent7 -> int3: if the methylenedioxymethamphetamine does not defuse macebearer and is a wire then the fact that it is calcicolous is incorrect.; int2 & int3 -> int4: the methylenedioxymethamphetamine is not calcicolous.; int4 & sent16 -> int5: that the abolitionist is not a kind of a busload is true.; int5 & sent17 -> int6: the nicad is a kind of a busload that does defuse RAIU.; int6 -> int7: the nicad defuses RAIU.; __UNKNOWN__