the soymilk is not a radio and it does not soften.
sent1: the guardroom is not a succulent. sent2: if something is a kind of a narc then it is not a kind of a Crispin. sent3: if there is something such that it is not Rabelaisian the soymilk is non-radio and it does not soften. sent4: the Invar is not a narc and not a Crispin if the moleskin is Rabelaisian. sent5: if that either something is not a kind of a numeral or it is a succulent or both is not right it is a kind of a narc. sent6: there exists something such that it is Rabelaisian. sent7: if the riveter is a sporting that is a flail it is not a kind of a labial. sent8: the soymilk does not soften. sent9: that the guardroom is not a numeral and/or is a succulent does not hold if there exists something such that it is fraternal. sent10: if the riveter is not a kind of a labial it is not a Selenipedium and is unmade. sent11: if something that is not a narc is not a Crispin then that it is not numeral is not wrong. sent12: the fact that the soymilk is not a kind of a radio and it does not soften does not hold if the guardroom is fraternal. sent13: if the fact that something is not a Selenipedium but unmade hold then it is an annelid. sent14: the flintlock is fraternal. sent15: the Invar is not Rabelaisian if the guardroom is not a kind of a Crispin. sent16: the riveter does sport and it is a flail. sent17: the moleskin is Rabelaisian if something is annelid and/or Rabelaisian. sent18: if the linen is not fraternal the fact that it is not a kind of a town and/or it is a Crispin is incorrect.
sent14 -> int1: there is something such that it is fraternal.; int1 & sent9 -> int2: that the guardroom is non-numeral and/or it is a succulent does not hold.; sent5 -> int3: the guardroom is a kind of a narc if that the fact that either it is not numeral or it is a succulent or both is not wrong is not true.; int2 & int3 -> int4: the guardroom is a kind of a narc.; sent2 -> int5: if the guardroom is a kind of a narc it is not a Crispin.; int4 & int5 -> int6: the guardroom is not a Crispin.; int6 & sent15 -> int7: the Invar is not Rabelaisian.; int7 -> int8: there are non-Rabelaisian things.; int8 & sent3 -> hypothesis;
that that the soymilk is not a radio and does not soften is true is not correct.
sent11 -> int9: if the Invar is not a narc and not a Crispin it is not a numeral.; sent13 -> int10: if the riveter is not a Selenipedium and is unmade then it is an annelid.; sent7 & sent16 -> int11: the riveter is not a kind of a labial.; sent10 & int11 -> int12: the riveter is not a Selenipedium but unmade.; int10 & int12 -> int13: the fact that the riveter is annelid is true.; int13 -> int14: the riveter is an annelid or it is Rabelaisian or both.; int14 -> int15: there is something such that it is an annelid or it is Rabelaisian or both.; int15 & sent17 -> int16: the moleskin is Rabelaisian.; sent4 & int16 -> int17: the Invar is both not a narc and not a Crispin.; int9 & int17 -> int18: the Invar is not a numeral.; int18 -> int19: there exists something such that it is not numeral.;
$hypothesis$ = the soymilk is not a radio and it does not soften. ; $context$ = sent1: the guardroom is not a succulent. sent2: if something is a kind of a narc then it is not a kind of a Crispin. sent3: if there is something such that it is not Rabelaisian the soymilk is non-radio and it does not soften. sent4: the Invar is not a narc and not a Crispin if the moleskin is Rabelaisian. sent5: if that either something is not a kind of a numeral or it is a succulent or both is not right it is a kind of a narc. sent6: there exists something such that it is Rabelaisian. sent7: if the riveter is a sporting that is a flail it is not a kind of a labial. sent8: the soymilk does not soften. sent9: that the guardroom is not a numeral and/or is a succulent does not hold if there exists something such that it is fraternal. sent10: if the riveter is not a kind of a labial it is not a Selenipedium and is unmade. sent11: if something that is not a narc is not a Crispin then that it is not numeral is not wrong. sent12: the fact that the soymilk is not a kind of a radio and it does not soften does not hold if the guardroom is fraternal. sent13: if the fact that something is not a Selenipedium but unmade hold then it is an annelid. sent14: the flintlock is fraternal. sent15: the Invar is not Rabelaisian if the guardroom is not a kind of a Crispin. sent16: the riveter does sport and it is a flail. sent17: the moleskin is Rabelaisian if something is annelid and/or Rabelaisian. sent18: if the linen is not fraternal the fact that it is not a kind of a town and/or it is a Crispin is incorrect. ; $proof$ = 
sent14 -> int1: there is something such that it is fraternal.; int1 & sent9 -> int2: that the guardroom is non-numeral and/or it is a succulent does not hold.; sent5 -> int3: the guardroom is a kind of a narc if that the fact that either it is not numeral or it is a succulent or both is not wrong is not true.; int2 & int3 -> int4: the guardroom is a kind of a narc.; sent2 -> int5: if the guardroom is a kind of a narc it is not a Crispin.; int4 & int5 -> int6: the guardroom is not a Crispin.; int6 & sent15 -> int7: the Invar is not Rabelaisian.; int7 -> int8: there are non-Rabelaisian things.; int8 & sent3 -> hypothesis; __PROVED__