the ibuprofen is not a Frisch.
sent1: the silks is not a kind of a Flagstaff. sent2: if something is a fuddy-duddy it is not a Frisch. sent3: the ibuprofen is not antiseptic. sent4: everything is not a kind of an antiseptic. sent5: everything is not precancerous and it padlocks. sent6: everything is non-antiseptic and it is a Frisch. sent7: that something is a woofer and does not identify Peripatidae is not correct if it is not a Flagstaff. sent8: if something does not wear Sakharov and it does not rabbet rarity the silks is not non-illegitimate. sent9: if something that is not a Flagstaff is a woofer it is catabolic. sent10: everything does drawl. sent11: something is not a kind of a Flagstaff but it is a woofer if it drawls. sent12: something that is not a woofer is both a fuddy-duddy and a di-iodotyrosine. sent13: the fact that something is not a kind of a di-iodotyrosine but it is a fuddy-duddy does not hold if the fact that it does identify Peripatidae is correct. sent14: if something is illegitimate then it does identify Peripatidae. sent15: something does not wear Sakharov and does not rabbet rarity.
sent6 -> int1: the ibuprofen is non-antiseptic but it is a Frisch.; int1 -> hypothesis;
the ibuprofen is not a kind of an antiseptic but it is catabolic.
sent9 -> int2: the ibuprofen is catabolic if it is not a Flagstaff and it is a woofer.; sent11 -> int3: if the seersucker drawls then it is not a Flagstaff and it is a woofer.; sent10 -> int4: the fact that the seersucker is a drawl is not false.; int3 & int4 -> int5: the seersucker is both not a Flagstaff and a woofer.; int5 -> int6: everything is not a Flagstaff and is a kind of a woofer.; int6 -> int7: the ibuprofen is not a kind of a Flagstaff but it is a woofer.; int2 & int7 -> int8: the ibuprofen is catabolic.; sent15 & sent8 -> int9: the silks is illegitimate.; sent14 -> int10: if the silks is illegitimate it identifies Peripatidae.; int9 & int10 -> int11: the silks does identify Peripatidae.; sent13 -> int12: the fact that the fact that the silks is not a di-iodotyrosine and is a fuddy-duddy is not wrong is incorrect if it does identify Peripatidae.; int11 & int12 -> int13: the fact that the silks is not a di-iodotyrosine but it is a kind of a fuddy-duddy is not correct.; int13 -> int14: there is something such that that it is not a di-iodotyrosine and it is a kind of a fuddy-duddy does not hold.;
$hypothesis$ = the ibuprofen is not a Frisch. ; $context$ = sent1: the silks is not a kind of a Flagstaff. sent2: if something is a fuddy-duddy it is not a Frisch. sent3: the ibuprofen is not antiseptic. sent4: everything is not a kind of an antiseptic. sent5: everything is not precancerous and it padlocks. sent6: everything is non-antiseptic and it is a Frisch. sent7: that something is a woofer and does not identify Peripatidae is not correct if it is not a Flagstaff. sent8: if something does not wear Sakharov and it does not rabbet rarity the silks is not non-illegitimate. sent9: if something that is not a Flagstaff is a woofer it is catabolic. sent10: everything does drawl. sent11: something is not a kind of a Flagstaff but it is a woofer if it drawls. sent12: something that is not a woofer is both a fuddy-duddy and a di-iodotyrosine. sent13: the fact that something is not a kind of a di-iodotyrosine but it is a fuddy-duddy does not hold if the fact that it does identify Peripatidae is correct. sent14: if something is illegitimate then it does identify Peripatidae. sent15: something does not wear Sakharov and does not rabbet rarity. ; $proof$ = 
sent6 -> int1: the ibuprofen is non-antiseptic but it is a Frisch.; int1 -> hypothesis; __DISPROVED__