that the doughboy is tibial but it is not tasteless is wrong.
sent1: something does not elaborate histaminase if the fact that it is both filial and not loyal does not hold. sent2: that the doughboy is tibial and is not non-tasteless is incorrect. sent3: the fact that the doughboy is tibial and it is tasteless is wrong if the lumpfish does not elaborate histaminase. sent4: that the lumpfish is both filial and not disloyal is false. sent5: that the doughboy is tibial but it is not tasteless is false if the lumpfish does not elaborate histaminase. sent6: if the lumpfish is loyal then it does not elaborate histaminase. sent7: that the cabochon is a kind of non-filial thing that is loyal does not hold if it does not elaborate histaminase. sent8: the lumpfish is tibial. sent9: if the fact that the fact that something is ventral and/or it is not a Nigerian is correct is not right then it does not tweet. sent10: the doughboy is both tibial and not tasteless if the cabochon does not tweet. sent11: if something tweets then that that it is a kind of a Topeka and it does not lease dimenhydrinate is correct does not hold. sent12: the cabochon is a kind of tasteless thing that does not elaborate histaminase if the lumpfish is tibial. sent13: if that something is not filial but it is not disloyal is incorrect it is not ventral. sent14: if the moonlight is ventral that the lumpfish is filial thing that is not loyal is not right. sent15: the cabochon is a tweet and/or it is a kind of a Nigerian. sent16: if the cabochon does tweet then that the moonlight is ventral is not false. sent17: if the cabochon is a Nigerian the moonlight is ventral. sent18: the doughboy is filial if the fact that the lumpfish is loyal is not wrong. sent19: if something is loyal the fact that it does not elaborate histaminase hold. sent20: if the moonlight is ventral that the lumpfish is filial and is loyal does not hold.
sent15 & sent16 & sent17 -> int1: the fact that the moonlight is ventral is correct.; int1 & sent14 -> int2: that the lumpfish is a kind of filial thing that is not loyal is not true.; sent1 -> int3: if the fact that the lumpfish is filial but it is not loyal is false it does not elaborate histaminase.; int2 & int3 -> int4: that the lumpfish does not elaborate histaminase is not incorrect.; int4 & sent5 -> hypothesis;
the fact that the histaminase is a kind of a Topeka and does not lease dimenhydrinate is incorrect.
sent11 -> int5: if the fact that the histaminase is a kind of a tweet is not false then the fact that it is a kind of a Topeka and it does not lease dimenhydrinate does not hold.; sent13 -> int6: if the fact that the cabochon is a kind of non-filial thing that is loyal is not right then it is not ventral.; sent12 & sent8 -> int7: the cabochon is tasteless but it does not elaborate histaminase.; int7 -> int8: the cabochon does not elaborate histaminase.; sent7 & int8 -> int9: the fact that the cabochon is non-filial thing that is not disloyal is not true.; int6 & int9 -> int10: the cabochon is not ventral.; int10 -> int11: there are non-ventral things.;
$hypothesis$ = that the doughboy is tibial but it is not tasteless is wrong. ; $context$ = sent1: something does not elaborate histaminase if the fact that it is both filial and not loyal does not hold. sent2: that the doughboy is tibial and is not non-tasteless is incorrect. sent3: the fact that the doughboy is tibial and it is tasteless is wrong if the lumpfish does not elaborate histaminase. sent4: that the lumpfish is both filial and not disloyal is false. sent5: that the doughboy is tibial but it is not tasteless is false if the lumpfish does not elaborate histaminase. sent6: if the lumpfish is loyal then it does not elaborate histaminase. sent7: that the cabochon is a kind of non-filial thing that is loyal does not hold if it does not elaborate histaminase. sent8: the lumpfish is tibial. sent9: if the fact that the fact that something is ventral and/or it is not a Nigerian is correct is not right then it does not tweet. sent10: the doughboy is both tibial and not tasteless if the cabochon does not tweet. sent11: if something tweets then that that it is a kind of a Topeka and it does not lease dimenhydrinate is correct does not hold. sent12: the cabochon is a kind of tasteless thing that does not elaborate histaminase if the lumpfish is tibial. sent13: if that something is not filial but it is not disloyal is incorrect it is not ventral. sent14: if the moonlight is ventral that the lumpfish is filial thing that is not loyal is not right. sent15: the cabochon is a tweet and/or it is a kind of a Nigerian. sent16: if the cabochon does tweet then that the moonlight is ventral is not false. sent17: if the cabochon is a Nigerian the moonlight is ventral. sent18: the doughboy is filial if the fact that the lumpfish is loyal is not wrong. sent19: if something is loyal the fact that it does not elaborate histaminase hold. sent20: if the moonlight is ventral that the lumpfish is filial and is loyal does not hold. ; $proof$ = 
sent15 & sent16 & sent17 -> int1: the fact that the moonlight is ventral is correct.; int1 & sent14 -> int2: that the lumpfish is a kind of filial thing that is not loyal is not true.; sent1 -> int3: if the fact that the lumpfish is filial but it is not loyal is false it does not elaborate histaminase.; int2 & int3 -> int4: that the lumpfish does not elaborate histaminase is not incorrect.; int4 & sent5 -> hypothesis; __PROVED__