the guar is not a kind of a fishbone and it does not syllogize Liparididae.
sent1: if the chowder does not thrust then the fact that it is incorrigible is not false. sent2: if the blackjack is obtuse it is incorrigible. sent3: the fact that the chowder is both a thrust and not a crushing is not correct. sent4: that if there is something such that that it measures soldier is true the blackjack is not a fishbone is not wrong. sent5: the guar does not syllogize Liparididae if the blackjack is not a kind of a fishbone. sent6: that the chowder measures soldier and is not a fishbone is not correct. sent7: if the blackjack is not a fishbone the guar is not a kind of a fishbone and it does not syllogize Liparididae. sent8: the chowder is not a thrust and is not a kind of a fishbone if that the blackjack is not a thrust is right. sent9: if there is something such that it is incorrigible and/or it measures soldier the blackjack is not a kind of a fishbone. sent10: that the chowder is a town but it is not a crushing is not correct. sent11: the guar is not a Artocarpus. sent12: if the chowder does not syllogize Liparididae the guar does not syllogize Liparididae and is not a crushing. sent13: if the blackjack is Caesarian it is obtuse. sent14: the guar does not measure soldier and does not syllogize Liparididae if that the chowder does not measure soldier is not incorrect. sent15: the guar does not syllogize Liparididae. sent16: if that the chowder is a thrust but it is not a crushing does not hold then it is incorrigible. sent17: that something is incorrigible or a fishbone or both is not false.
sent16 & sent3 -> int1: the chowder is incorrigible.; int1 -> int2: the chowder is incorrigible and/or it measures soldier.; int2 -> int3: something is incorrigible and/or it does measure soldier.; int3 & sent9 -> int4: the fact that the blackjack is not a fishbone is correct.; sent7 & int4 -> hypothesis;
the fact that the guar is not a kind of a fishbone and does not syllogize Liparididae is not true.
$hypothesis$ = the guar is not a kind of a fishbone and it does not syllogize Liparididae. ; $context$ = sent1: if the chowder does not thrust then the fact that it is incorrigible is not false. sent2: if the blackjack is obtuse it is incorrigible. sent3: the fact that the chowder is both a thrust and not a crushing is not correct. sent4: that if there is something such that that it measures soldier is true the blackjack is not a fishbone is not wrong. sent5: the guar does not syllogize Liparididae if the blackjack is not a kind of a fishbone. sent6: that the chowder measures soldier and is not a fishbone is not correct. sent7: if the blackjack is not a fishbone the guar is not a kind of a fishbone and it does not syllogize Liparididae. sent8: the chowder is not a thrust and is not a kind of a fishbone if that the blackjack is not a thrust is right. sent9: if there is something such that it is incorrigible and/or it measures soldier the blackjack is not a kind of a fishbone. sent10: that the chowder is a town but it is not a crushing is not correct. sent11: the guar is not a Artocarpus. sent12: if the chowder does not syllogize Liparididae the guar does not syllogize Liparididae and is not a crushing. sent13: if the blackjack is Caesarian it is obtuse. sent14: the guar does not measure soldier and does not syllogize Liparididae if that the chowder does not measure soldier is not incorrect. sent15: the guar does not syllogize Liparididae. sent16: if that the chowder is a thrust but it is not a crushing does not hold then it is incorrigible. sent17: that something is incorrigible or a fishbone or both is not false. ; $proof$ = 
sent16 & sent3 -> int1: the chowder is incorrigible.; int1 -> int2: the chowder is incorrigible and/or it measures soldier.; int2 -> int3: something is incorrigible and/or it does measure soldier.; int3 & sent9 -> int4: the fact that the blackjack is not a fishbone is correct.; sent7 & int4 -> hypothesis; __PROVED__