the vesicant is not a kind of a familiarization.
sent1: the sportswear is not a nameko if the pack is both a nameko and not nonunion. sent2: the jogger is not operatic. sent3: the seasoning is a Vietnam. sent4: the fact that the seasoning is a familiarization and it is planktonic is not true. sent5: if the seasoning is planktonic the vesicant is not a kind of a familiarization and it is not deconstructionist. sent6: there exists something such that that it is planktonic and does knit gigolo is false. sent7: if the jogger does knit gigolo it is peninsular. sent8: that the seasoning is both a syllable and a nameko does not hold. sent9: if the seasoning is nonunion it is planktonic. sent10: the seasoning is nonunion if it is a nameko. sent11: if the pack does not knit gigolo then the seasoning is a nameko. sent12: the pack does not knit gigolo if there is something such that the fact that it is peninsular and is a syllable is not true. sent13: the seasoning is deconstructionist. sent14: there exists nothing that is peninsular and a syllable. sent15: something is a familiarization that knits gigolo if the fact that it is not a nameko is right. sent16: the pack is a kind of a nameko but it is not nonunion if it is not planktonic.
sent14 -> int1: the fact that the jogger is peninsular and it is a kind of a syllable is not right.; int1 -> int2: there is something such that that it is peninsular a syllable does not hold.; int2 & sent12 -> int3: the pack does not knit gigolo.; int3 & sent11 -> int4: the seasoning is a nameko.; int4 & sent10 -> int5: the seasoning is nonunion.; int5 & sent9 -> int6: that the seasoning is planktonic is true.; int6 & sent5 -> int7: the vesicant is not a familiarization and not deconstructionist.; int7 -> hypothesis;
the vesicant is a kind of a familiarization.
sent15 -> int8: that the vesicant is a familiarization and it does knit gigolo is not false if it is not a nameko.;
$hypothesis$ = the vesicant is not a kind of a familiarization. ; $context$ = sent1: the sportswear is not a nameko if the pack is both a nameko and not nonunion. sent2: the jogger is not operatic. sent3: the seasoning is a Vietnam. sent4: the fact that the seasoning is a familiarization and it is planktonic is not true. sent5: if the seasoning is planktonic the vesicant is not a kind of a familiarization and it is not deconstructionist. sent6: there exists something such that that it is planktonic and does knit gigolo is false. sent7: if the jogger does knit gigolo it is peninsular. sent8: that the seasoning is both a syllable and a nameko does not hold. sent9: if the seasoning is nonunion it is planktonic. sent10: the seasoning is nonunion if it is a nameko. sent11: if the pack does not knit gigolo then the seasoning is a nameko. sent12: the pack does not knit gigolo if there is something such that the fact that it is peninsular and is a syllable is not true. sent13: the seasoning is deconstructionist. sent14: there exists nothing that is peninsular and a syllable. sent15: something is a familiarization that knits gigolo if the fact that it is not a nameko is right. sent16: the pack is a kind of a nameko but it is not nonunion if it is not planktonic. ; $proof$ = 
sent14 -> int1: the fact that the jogger is peninsular and it is a kind of a syllable is not right.; int1 -> int2: there is something such that that it is peninsular a syllable does not hold.; int2 & sent12 -> int3: the pack does not knit gigolo.; int3 & sent11 -> int4: the seasoning is a nameko.; int4 & sent10 -> int5: the seasoning is nonunion.; int5 & sent9 -> int6: that the seasoning is planktonic is true.; int6 & sent5 -> int7: the vesicant is not a familiarization and not deconstructionist.; int7 -> hypothesis; __PROVED__