the caddis-fly is a treachery and is guilty.
sent1: the fact that that the maker is not atonic but it is not non-revolutionary is not correct is not wrong. sent2: that the maker does not drink Cologne hold. sent3: the caddis-fly does not denationalize Roundhead if the maker does denationalize inoculator and is a kind of a male. sent4: the maker is not a treachery if that the caddis-fly does denationalize neurosurgeon and is hymenopterous is not false. sent5: the maker denationalizes neurosurgeon and is hymenopterous if it does not drink Cologne. sent6: the caddis-fly is a kind of a treachery. sent7: the maker is hymenopterous and it magnifies. sent8: if the caddis-fly does not denationalize inoculator then it is a treachery. sent9: the maker is hymenopterous. sent10: that the maker is a kind of non-serologic thing that is a male is incorrect if it does denationalize Roundhead. sent11: if the fact that something is not a male and denationalizes Roundhead is not true it does denationalize neurosurgeon. sent12: the hire is not a kind of a treachery. sent13: the maker does denationalize Roundhead. sent14: something does emote naumachy if the fact that it is serologic is not false. sent15: the ink is artificial and it does drink ink. sent16: if the fact that something is not serologic but male does not hold the fact that it does emote naumachy hold. sent17: if something does not denationalize inoculator then it is a kind of a treachery and is guilty. sent18: That the Cologne does not drink maker hold. sent19: the fact that the maker is serologic and it is a male is incorrect. sent20: The Roundhead does denationalize maker. sent21: if the fact that something is not guilty and does denationalize neurosurgeon is wrong it does emote naumachy. sent22: that the maker emotes naumachy if the maker is serologic is true. sent23: that the maker is hymenopterous is right if it does not drink Cologne. sent24: if the maker emotes naumachy and denationalizes neurosurgeon then the caddis-fly does not denationalize inoculator. sent25: something is a treachery if it does not denationalize inoculator. sent26: that something is a kind of a treachery and is guilty is incorrect if it does not denationalize Roundhead. sent27: if the aristocrat does emote naumachy the caddis-fly emote naumachy.
sent10 & sent13 -> int1: that the maker is a kind of non-serologic a male does not hold.; sent16 -> int2: if that the maker is not serologic but a male is incorrect then it emotes naumachy.; int1 & int2 -> int3: the maker does emote naumachy.; sent5 & sent2 -> int4: the maker does denationalize neurosurgeon and it is hymenopterous.; int4 -> int5: the maker does denationalize neurosurgeon.; int3 & int5 -> int6: the maker does emote naumachy and it does denationalize neurosurgeon.; int6 & sent24 -> int7: the caddis-fly does not denationalize inoculator.; sent17 -> int8: the caddis-fly is a treachery and is guilty if it does not denationalize inoculator.; int7 & int8 -> hypothesis;
that the caddis-fly is a treachery and guilty is wrong.
sent26 -> int9: if the caddis-fly does not denationalize Roundhead the fact that it is both a treachery and guilty is not true.;
$hypothesis$ = the caddis-fly is a treachery and is guilty. ; $context$ = sent1: the fact that that the maker is not atonic but it is not non-revolutionary is not correct is not wrong. sent2: that the maker does not drink Cologne hold. sent3: the caddis-fly does not denationalize Roundhead if the maker does denationalize inoculator and is a kind of a male. sent4: the maker is not a treachery if that the caddis-fly does denationalize neurosurgeon and is hymenopterous is not false. sent5: the maker denationalizes neurosurgeon and is hymenopterous if it does not drink Cologne. sent6: the caddis-fly is a kind of a treachery. sent7: the maker is hymenopterous and it magnifies. sent8: if the caddis-fly does not denationalize inoculator then it is a treachery. sent9: the maker is hymenopterous. sent10: that the maker is a kind of non-serologic thing that is a male is incorrect if it does denationalize Roundhead. sent11: if the fact that something is not a male and denationalizes Roundhead is not true it does denationalize neurosurgeon. sent12: the hire is not a kind of a treachery. sent13: the maker does denationalize Roundhead. sent14: something does emote naumachy if the fact that it is serologic is not false. sent15: the ink is artificial and it does drink ink. sent16: if the fact that something is not serologic but male does not hold the fact that it does emote naumachy hold. sent17: if something does not denationalize inoculator then it is a kind of a treachery and is guilty. sent18: That the Cologne does not drink maker hold. sent19: the fact that the maker is serologic and it is a male is incorrect. sent20: The Roundhead does denationalize maker. sent21: if the fact that something is not guilty and does denationalize neurosurgeon is wrong it does emote naumachy. sent22: that the maker emotes naumachy if the maker is serologic is true. sent23: that the maker is hymenopterous is right if it does not drink Cologne. sent24: if the maker emotes naumachy and denationalizes neurosurgeon then the caddis-fly does not denationalize inoculator. sent25: something is a treachery if it does not denationalize inoculator. sent26: that something is a kind of a treachery and is guilty is incorrect if it does not denationalize Roundhead. sent27: if the aristocrat does emote naumachy the caddis-fly emote naumachy. ; $proof$ = 
sent10 & sent13 -> int1: that the maker is a kind of non-serologic a male does not hold.; sent16 -> int2: if that the maker is not serologic but a male is incorrect then it emotes naumachy.; int1 & int2 -> int3: the maker does emote naumachy.; sent5 & sent2 -> int4: the maker does denationalize neurosurgeon and it is hymenopterous.; int4 -> int5: the maker does denationalize neurosurgeon.; int3 & int5 -> int6: the maker does emote naumachy and it does denationalize neurosurgeon.; int6 & sent24 -> int7: the caddis-fly does not denationalize inoculator.; sent17 -> int8: the caddis-fly is a treachery and is guilty if it does not denationalize inoculator.; int7 & int8 -> hypothesis; __PROVED__