that the fact that the somewhere is a COBOL and an epidemic does not hold hold.
sent1: if there exists something such that that it is bracteate and sighs staffer does not hold then the creepy-crawlies is not intertidal. sent2: the somewhere is an epidemic if the creepy-crawlies is a kind of an epidemic. sent3: if there exists something such that the fact that it is not a COBOL and it is an epidemic is wrong the tribesman does sigh staffer. sent4: the tribesman is bracteate if the creepy-crawlies is a fettuccine. sent5: that the tribesman is intertidal but it is not a madam is false. sent6: if the somewhere is not intertidal then the fact that the tribesman is both intertidal and bracteate is wrong. sent7: if there exists something such that the fact that it is a gambler and it does sigh staffer is wrong the cashbox is not a COBOL. sent8: that something is a madam but it is not Episcopal is wrong if it is not a fettuccine. sent9: that something is a gambler that is bracteate is false if it is not a COBOL. sent10: the creepy-crawlies is epidemic thing that is not a kind of a fettuccine if that it is bracteate is not false. sent11: the creepy-crawlies is bracteate if there is something such that the fact that it sighs staffer and/or it is not a gambler is not true. sent12: if there is something such that it is intertidal that the cashbox is not a COBOL but it is epidemic is false. sent13: the somewhere is intertidal and it sighs hedger. sent14: the fact that something is a gambler and it does sigh staffer is false if it is not a fettuccine. sent15: if there is something such that it does sigh staffer then the creepy-crawlies is not bracteate and/or it is not a gambler. sent16: that the creepy-crawlies is not non-epidemic but it does not gamble does not hold. sent17: the tribesman is not bracteate if it is a madam. sent18: if that the tribesman is intertidal and is not a madam is incorrect it is not bracteate. sent19: there exists something such that that it is a fettuccine and it is not non-bracteate does not hold.
void -> assump1: Let's assume that the creepy-crawlies is a fettuccine.; sent4 & assump1 -> int1: the tribesman is bracteate.; sent18 & sent5 -> int2: the fact that the tribesman is non-bracteate hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the creepy-crawlies is not a kind of a fettuccine.; sent14 -> int5: the fact that the fact that the creepy-crawlies gambles and does sigh staffer is not correct hold if it is not a fettuccine.; int4 & int5 -> int6: that the creepy-crawlies is a kind of a gambler that does sigh staffer is false.; int6 -> int7: there is something such that that the fact that it is a kind of a gambler and it sighs staffer hold does not hold.; int7 & sent7 -> int8: the cashbox is not a kind of a COBOL.;
that the twill is a madam and is not Episcopal is not true.
sent8 -> int9: that the twill is both a madam and not Episcopal is false if it is not a fettuccine.; sent13 -> int10: the somewhere is intertidal.; int10 -> int11: something is intertidal.; int11 & sent12 -> int12: that that the cashbox is not a COBOL but epidemic is not wrong does not hold.; int12 -> int13: there is something such that the fact that it is not a COBOL but epidemic is incorrect.; int13 & sent3 -> int14: the fact that the tribesman does sigh staffer is not wrong.; int14 -> int15: there exists something such that that it does sigh staffer is true.; int15 & sent15 -> int16: the creepy-crawlies is not bracteate or it is not a gambler or both.; int16 -> int17: there exists something such that it is not bracteate or it is not a kind of a gambler or both.;
$hypothesis$ = that the fact that the somewhere is a COBOL and an epidemic does not hold hold. ; $context$ = sent1: if there exists something such that that it is bracteate and sighs staffer does not hold then the creepy-crawlies is not intertidal. sent2: the somewhere is an epidemic if the creepy-crawlies is a kind of an epidemic. sent3: if there exists something such that the fact that it is not a COBOL and it is an epidemic is wrong the tribesman does sigh staffer. sent4: the tribesman is bracteate if the creepy-crawlies is a fettuccine. sent5: that the tribesman is intertidal but it is not a madam is false. sent6: if the somewhere is not intertidal then the fact that the tribesman is both intertidal and bracteate is wrong. sent7: if there exists something such that the fact that it is a gambler and it does sigh staffer is wrong the cashbox is not a COBOL. sent8: that something is a madam but it is not Episcopal is wrong if it is not a fettuccine. sent9: that something is a gambler that is bracteate is false if it is not a COBOL. sent10: the creepy-crawlies is epidemic thing that is not a kind of a fettuccine if that it is bracteate is not false. sent11: the creepy-crawlies is bracteate if there is something such that the fact that it sighs staffer and/or it is not a gambler is not true. sent12: if there is something such that it is intertidal that the cashbox is not a COBOL but it is epidemic is false. sent13: the somewhere is intertidal and it sighs hedger. sent14: the fact that something is a gambler and it does sigh staffer is false if it is not a fettuccine. sent15: if there is something such that it does sigh staffer then the creepy-crawlies is not bracteate and/or it is not a gambler. sent16: that the creepy-crawlies is not non-epidemic but it does not gamble does not hold. sent17: the tribesman is not bracteate if it is a madam. sent18: if that the tribesman is intertidal and is not a madam is incorrect it is not bracteate. sent19: there exists something such that that it is a fettuccine and it is not non-bracteate does not hold. ; $proof$ = 
void -> assump1: Let's assume that the creepy-crawlies is a fettuccine.; sent4 & assump1 -> int1: the tribesman is bracteate.; sent18 & sent5 -> int2: the fact that the tribesman is non-bracteate hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the creepy-crawlies is not a kind of a fettuccine.; sent14 -> int5: the fact that the fact that the creepy-crawlies gambles and does sigh staffer is not correct hold if it is not a fettuccine.; int4 & int5 -> int6: that the creepy-crawlies is a kind of a gambler that does sigh staffer is false.; int6 -> int7: there is something such that that the fact that it is a kind of a gambler and it sighs staffer hold does not hold.; int7 & sent7 -> int8: the cashbox is not a kind of a COBOL.; __UNKNOWN__