the fact that the Polycarp does not dissemble chemical but it is a kind of a channels is false.
sent1: if something does not find then it does not dissemble chemical and does channel. sent2: if the fact that that the scilla does not find and it is not conquerable is true is not correct the moderationist is a channels. sent3: the bunk does not encore and/or is not Methodists if that the forebrain is not meaningful is right. sent4: the signet is a kind of non-protrusive thing that does find if it is not non-invertible. sent5: if the bunk is not an encore the moderationist is not a trough. sent6: something that is not a channels finds and is conquerable. sent7: if there is something such that it is not hydrophilic then the effecter is a kind of a course that is not heedless. sent8: if a course is not heedless it does dissemble skyscraper. sent9: the scilla is not protrusive if the fact that the signet is non-invertible hold. sent10: that the signet is protrusive and finds does not hold if the scilla does not finds. sent11: the Polycarp does not find if the scilla is conquerable and does not find. sent12: if the jimmies is a stable then the lamb's-quarter does not organize Rhinolophidae. sent13: if there exists something such that that it is not a fortification and it is meaningful is wrong then the forebrain is not meaningful. sent14: the lamb's-quarter is not hydrophilic if it does not organize Rhinolophidae. sent15: if the bunk is not a Methodists then the moderationist is not a kind of a trough. sent16: if the busman is unlivable the jimmies is stable. sent17: that something is not a fortification but meaningful does not hold if it does dissemble skyscraper. sent18: there exists nothing such that it channels and it does dissemble chemical. sent19: the busman overdoses and it is unlivable. sent20: the signet is not non-invertible. sent21: the fact that that the signet is a kind of non-protrusive thing that does find does not hold if the scilla does not find hold. sent22: that that the signet is not non-non-invertible and it is conquerable is not false is not correct.
void -> assump1: Let's assume that the scilla does not find and it is not conquerable.; assump1 -> int1: the scilla does not find.; int1 & sent21 -> int2: the fact that the signet is not protrusive but it does find is not right.; sent4 & sent20 -> int3: the signet is non-protrusive but it finds.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the scilla does not find and it is not conquerable is not true.; int5 & sent2 -> int6: the fact that the moderationist is a channels is not false.;
the Polycarp does not dissemble chemical but it channels.
sent1 -> int7: the Polycarp does not dissemble chemical and does channel if it does not find.; sent17 -> int8: if the effecter does dissemble skyscraper that it is not a fortification but meaningful is not correct.; sent8 -> int9: the effecter dissembles skyscraper if it is a course and not heedless.; sent19 -> int10: the fact that the busman is unlivable is not wrong.; sent16 & int10 -> int11: the jimmies is a stable.; sent12 & int11 -> int12: that the lamb's-quarter does not organize Rhinolophidae hold.; sent14 & int12 -> int13: the lamb's-quarter is not hydrophilic.; int13 -> int14: there is something such that it is not hydrophilic.; int14 & sent7 -> int15: the effecter is both a course and not heedless.; int9 & int15 -> int16: the effecter dissembles skyscraper.; int8 & int16 -> int17: the fact that the effecter is not a fortification but it is meaningful is wrong.; int17 -> int18: there exists something such that the fact that it is not a kind of a fortification and is meaningful is wrong.; int18 & sent13 -> int19: the forebrain is not meaningful.; sent3 & int19 -> int20: the bunk is not an encore and/or it is not a kind of a Methodists.; int20 & sent5 & sent15 -> int21: the moderationist is not a trough.; int21 -> int22: there is something such that that it is not a trough is not false.;
$hypothesis$ = the fact that the Polycarp does not dissemble chemical but it is a kind of a channels is false. ; $context$ = sent1: if something does not find then it does not dissemble chemical and does channel. sent2: if the fact that that the scilla does not find and it is not conquerable is true is not correct the moderationist is a channels. sent3: the bunk does not encore and/or is not Methodists if that the forebrain is not meaningful is right. sent4: the signet is a kind of non-protrusive thing that does find if it is not non-invertible. sent5: if the bunk is not an encore the moderationist is not a trough. sent6: something that is not a channels finds and is conquerable. sent7: if there is something such that it is not hydrophilic then the effecter is a kind of a course that is not heedless. sent8: if a course is not heedless it does dissemble skyscraper. sent9: the scilla is not protrusive if the fact that the signet is non-invertible hold. sent10: that the signet is protrusive and finds does not hold if the scilla does not finds. sent11: the Polycarp does not find if the scilla is conquerable and does not find. sent12: if the jimmies is a stable then the lamb's-quarter does not organize Rhinolophidae. sent13: if there exists something such that that it is not a fortification and it is meaningful is wrong then the forebrain is not meaningful. sent14: the lamb's-quarter is not hydrophilic if it does not organize Rhinolophidae. sent15: if the bunk is not a Methodists then the moderationist is not a kind of a trough. sent16: if the busman is unlivable the jimmies is stable. sent17: that something is not a fortification but meaningful does not hold if it does dissemble skyscraper. sent18: there exists nothing such that it channels and it does dissemble chemical. sent19: the busman overdoses and it is unlivable. sent20: the signet is not non-invertible. sent21: the fact that that the signet is a kind of non-protrusive thing that does find does not hold if the scilla does not find hold. sent22: that that the signet is not non-non-invertible and it is conquerable is not false is not correct. ; $proof$ = 
void -> assump1: Let's assume that the scilla does not find and it is not conquerable.; assump1 -> int1: the scilla does not find.; int1 & sent21 -> int2: the fact that the signet is not protrusive but it does find is not right.; sent4 & sent20 -> int3: the signet is non-protrusive but it finds.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the scilla does not find and it is not conquerable is not true.; int5 & sent2 -> int6: the fact that the moderationist is a channels is not false.; __UNKNOWN__