the result is a QCD.
sent1: there exists something such that either it is not a committedness or it does individuate rivulus or both. sent2: if there exists something such that it kidnaps Anglicization then that the major-domo is not a QCD but it is marly is incorrect. sent3: there is something such that it is not a QCD. sent4: if the nutcracker is a committedness then the fact that the major-domo is a kind of a QCD that is non-marly is incorrect. sent5: something that is a committedness and/or does not kidnap Anglicization is a committedness. sent6: the major-domo does not individuate rivulus if it is not a committedness. sent7: something is a kind of a committedness or it does not kidnap Anglicization or both if it is not asphaltic. sent8: there exists something such that the fact that that it is a kind of a QCD or individuates rivulus or both hold is not right. sent9: the major-domo is not a committedness. sent10: there is something such that that it is not a kind of a Necturus or does individuate rivulus or both hold. sent11: that the major-domo is not a kind of a Necturus or it does individuate rivulus or both is wrong if it is not a committedness. sent12: something is a QCD. sent13: the nutcracker does jostle sandlot. sent14: there is something such that the fact that either it is a kind of a committedness or it is a QCD or both is not true. sent15: there exists something such that the fact that it is a Necturus is not incorrect. sent16: if there is something such that that it is not a committedness or is a QCD or both is not right the major-domo is a Necturus. sent17: the result is asphaltic and it kidnaps Anglicization if that there exists something such that that it is an exhibition is correct is right. sent18: if there is something such that the fact that it is not a Necturus or is a committedness or both does not hold then the major-domo is a QCD. sent19: something is an exhibition if it does jostle sandlot. sent20: if the fact that the nutcracker is asphaltic and it is an exhibition is false then it is not asphaltic. sent21: there exists something such that it does not individuate blancmange. sent22: there is something such that that it is not a kind of a Necturus and/or it is a kind of a committedness hold.
sent11 & sent9 -> int1: that the major-domo either is not a Necturus or individuates rivulus or both is not true.; int1 -> int2: there exists something such that the fact that it is not a Necturus or does individuate rivulus or both does not hold.;
the tinderbox is a committedness.
sent19 -> int3: the nutcracker is an exhibition if it does jostle sandlot.; int3 & sent13 -> int4: the nutcracker is a kind of an exhibition.; int4 -> int5: there is something such that it is an exhibition.; int5 & sent17 -> int6: the result is asphaltic and kidnaps Anglicization.; int6 -> int7: the result does kidnap Anglicization.; int7 -> int8: there exists something such that it does kidnap Anglicization.; int8 & sent2 -> int9: that the major-domo is not a QCD but it is marly is not right.; int9 -> int10: there exists something such that that it is not a QCD and it is marly is wrong.;
$hypothesis$ = the result is a QCD. ; $context$ = sent1: there exists something such that either it is not a committedness or it does individuate rivulus or both. sent2: if there exists something such that it kidnaps Anglicization then that the major-domo is not a QCD but it is marly is incorrect. sent3: there is something such that it is not a QCD. sent4: if the nutcracker is a committedness then the fact that the major-domo is a kind of a QCD that is non-marly is incorrect. sent5: something that is a committedness and/or does not kidnap Anglicization is a committedness. sent6: the major-domo does not individuate rivulus if it is not a committedness. sent7: something is a kind of a committedness or it does not kidnap Anglicization or both if it is not asphaltic. sent8: there exists something such that the fact that that it is a kind of a QCD or individuates rivulus or both hold is not right. sent9: the major-domo is not a committedness. sent10: there is something such that that it is not a kind of a Necturus or does individuate rivulus or both hold. sent11: that the major-domo is not a kind of a Necturus or it does individuate rivulus or both is wrong if it is not a committedness. sent12: something is a QCD. sent13: the nutcracker does jostle sandlot. sent14: there is something such that the fact that either it is a kind of a committedness or it is a QCD or both is not true. sent15: there exists something such that the fact that it is a Necturus is not incorrect. sent16: if there is something such that that it is not a committedness or is a QCD or both is not right the major-domo is a Necturus. sent17: the result is asphaltic and it kidnaps Anglicization if that there exists something such that that it is an exhibition is correct is right. sent18: if there is something such that the fact that it is not a Necturus or is a committedness or both does not hold then the major-domo is a QCD. sent19: something is an exhibition if it does jostle sandlot. sent20: if the fact that the nutcracker is asphaltic and it is an exhibition is false then it is not asphaltic. sent21: there exists something such that it does not individuate blancmange. sent22: there is something such that that it is not a kind of a Necturus and/or it is a kind of a committedness hold. ; $proof$ = 
sent11 & sent9 -> int1: that the major-domo either is not a Necturus or individuates rivulus or both is not true.; int1 -> int2: there exists something such that the fact that it is not a Necturus or does individuate rivulus or both does not hold.; __UNKNOWN__