the dockage is not a soloist.
sent1: the fact that something is a kind of a monkshood and/or it is a kind of a Avestan is false if it is not nonsubmersible. sent2: something is not a German if it does not clear subjectivity. sent3: if something that is not a Avestan is not nonsubmersible then it is not a kind of a soloist. sent4: the feijoa is not nonsubmersible if it is cleistogamous or it is not nonsubmersible or both. sent5: the underseller is re-entrant. sent6: if the dockage is not Avestan but nonsubmersible it is not a kind of a soloist. sent7: something is a kind of a soloist that is re-entrant if it does not sign inductor. sent8: something is not a kind of a Avestan and is not nonsubmersible if it is not a monkshood. sent9: the dockage is not a monkshood if the underseller does not sign inductor. sent10: there exists something such that it is not a kind of a soloist. sent11: that something is not acarpelous and is cleistogamous is incorrect if it is not a German. sent12: if something that is a kind of a Avestan is not nonsubmersible then it is not a soloist. sent13: if the underseller is not a monkshood then the dockage is not re-entrant. sent14: the underseller is not nonsubmersible if the put-put is not cleistogamous. sent15: if that something is both not acarpelous and not non-cleistogamous is not right it is not non-cleistogamous. sent16: the fact that the brand clears subjectivity but it is not caruncular is wrong. sent17: something is not a monkshood and it is non-Nordic if it is not re-entrant. sent18: if something is not nonsubmersible it does not sign inductor and/or is not a Avestan. sent19: if the dockage is both Avestan and not nonsubmersible it is not a soloist. sent20: something is not a fruiterer and does not company ICAO if it is not arbitrative. sent21: the underseller is re-entrant but it does not sign inductor. sent22: something that is not a Avestan and is nonsubmersible is not a soloist.
sent21 -> int1: the underseller does not sign inductor.; int1 & sent9 -> int2: the fact that the dockage is not a kind of a monkshood hold.; sent8 -> int3: if the dockage is not a monkshood then it is not a Avestan and it is not nonsubmersible.; int2 & int3 -> int4: the dockage is both not a Avestan and not nonsubmersible.; sent3 -> int5: if the dockage is not a kind of a Avestan and is not nonsubmersible then it is not a kind of a soloist.; int4 & int5 -> hypothesis;
the dockage is a soloist.
sent7 -> int6: the dockage is a soloist and it is re-entrant if it does not sign inductor.; sent1 -> int7: that the underseller is a monkshood and/or is a Avestan is not correct if it is not nonsubmersible.; sent15 -> int8: the put-put is not cleistogamous if that it is not acarpelous and it is cleistogamous is incorrect.; sent11 -> int9: if that the put-put is not a German is not wrong the fact that it is not acarpelous and it is cleistogamous is not correct.; sent2 -> int10: if the put-put does not clear subjectivity then it is not German.; sent16 -> int11: there is something such that that it clears subjectivity and is not caruncular does not hold.;
$hypothesis$ = the dockage is not a soloist. ; $context$ = sent1: the fact that something is a kind of a monkshood and/or it is a kind of a Avestan is false if it is not nonsubmersible. sent2: something is not a German if it does not clear subjectivity. sent3: if something that is not a Avestan is not nonsubmersible then it is not a kind of a soloist. sent4: the feijoa is not nonsubmersible if it is cleistogamous or it is not nonsubmersible or both. sent5: the underseller is re-entrant. sent6: if the dockage is not Avestan but nonsubmersible it is not a kind of a soloist. sent7: something is a kind of a soloist that is re-entrant if it does not sign inductor. sent8: something is not a kind of a Avestan and is not nonsubmersible if it is not a monkshood. sent9: the dockage is not a monkshood if the underseller does not sign inductor. sent10: there exists something such that it is not a kind of a soloist. sent11: that something is not acarpelous and is cleistogamous is incorrect if it is not a German. sent12: if something that is a kind of a Avestan is not nonsubmersible then it is not a soloist. sent13: if the underseller is not a monkshood then the dockage is not re-entrant. sent14: the underseller is not nonsubmersible if the put-put is not cleistogamous. sent15: if that something is both not acarpelous and not non-cleistogamous is not right it is not non-cleistogamous. sent16: the fact that the brand clears subjectivity but it is not caruncular is wrong. sent17: something is not a monkshood and it is non-Nordic if it is not re-entrant. sent18: if something is not nonsubmersible it does not sign inductor and/or is not a Avestan. sent19: if the dockage is both Avestan and not nonsubmersible it is not a soloist. sent20: something is not a fruiterer and does not company ICAO if it is not arbitrative. sent21: the underseller is re-entrant but it does not sign inductor. sent22: something that is not a Avestan and is nonsubmersible is not a soloist. ; $proof$ = 
sent21 -> int1: the underseller does not sign inductor.; int1 & sent9 -> int2: the fact that the dockage is not a kind of a monkshood hold.; sent8 -> int3: if the dockage is not a monkshood then it is not a Avestan and it is not nonsubmersible.; int2 & int3 -> int4: the dockage is both not a Avestan and not nonsubmersible.; sent3 -> int5: if the dockage is not a kind of a Avestan and is not nonsubmersible then it is not a kind of a soloist.; int4 & int5 -> hypothesis; __PROVED__