the chad is mesenteric thing that reigns C-clamp.
sent1: something does not smash Cornish if it does not stale Hirudinidae or stales strainer or both. sent2: the chad stales strainer if the vice-regent is mesenteric. sent3: the chad does reign C-clamp. sent4: the fact that something does smash Cornish and it is automatic is false if it is not Caucasian. sent5: the chad does stale strainer. sent6: if that the vice-regent does stale strainer is not incorrect then either the plover does smash bustling or it stale strainer or both. sent7: the hemiplegic is not a kind of a Caucasian. sent8: The C-clamp does reign chad. sent9: the phillipsite is camphoric if the seafood is an automatic. sent10: the vice-regent stales strainer if it stales Hirudinidae. sent11: the seafood does not stale Hirudinidae or it does stale strainer or both if it does not smash bustling. sent12: if the plover either smashes bustling or does not stale strainer or both the chad is mesenteric. sent13: the seafood is not a kind of a Caucasian if it does not smash Cornish. sent14: the fact that something is camphoric but it does not smash bustling is not correct if it is not automatic. sent15: the vice-regent stales Hirudinidae if the hemiplegic does smash Cornish. sent16: a camphoric thing is a kind of a Caucasian. sent17: if the fact that the fact that something is camphoric and is automatic is correct is incorrect then it does not reign C-clamp. sent18: if the vice-regent does stale strainer the plover does smash bustling and/or it does not stale strainer. sent19: the hemiplegic does smash Cornish if the phillipsite is a Caucasian. sent20: if something is not a kind of a Caucasian the fact that it is both camphoric and automatic is incorrect.
sent16 -> int1: the phillipsite is a Caucasian if it is camphoric.;
the phillipsite does smash bustling.
sent14 -> int2: the fact that the seafood is camphoric and does not smash bustling is incorrect if it is not a kind of an automatic.; sent4 -> int3: if the fact that the hemiplegic is not a kind of a Caucasian is right then the fact that it does smash Cornish and it is not non-automatic is incorrect.; int3 & sent7 -> int4: that the hemiplegic smashes Cornish and it is an automatic is wrong.; int4 -> int5: there exists something such that that it smashes Cornish and is an automatic is incorrect.;
$hypothesis$ = the chad is mesenteric thing that reigns C-clamp. ; $context$ = sent1: something does not smash Cornish if it does not stale Hirudinidae or stales strainer or both. sent2: the chad stales strainer if the vice-regent is mesenteric. sent3: the chad does reign C-clamp. sent4: the fact that something does smash Cornish and it is automatic is false if it is not Caucasian. sent5: the chad does stale strainer. sent6: if that the vice-regent does stale strainer is not incorrect then either the plover does smash bustling or it stale strainer or both. sent7: the hemiplegic is not a kind of a Caucasian. sent8: The C-clamp does reign chad. sent9: the phillipsite is camphoric if the seafood is an automatic. sent10: the vice-regent stales strainer if it stales Hirudinidae. sent11: the seafood does not stale Hirudinidae or it does stale strainer or both if it does not smash bustling. sent12: if the plover either smashes bustling or does not stale strainer or both the chad is mesenteric. sent13: the seafood is not a kind of a Caucasian if it does not smash Cornish. sent14: the fact that something is camphoric but it does not smash bustling is not correct if it is not automatic. sent15: the vice-regent stales Hirudinidae if the hemiplegic does smash Cornish. sent16: a camphoric thing is a kind of a Caucasian. sent17: if the fact that the fact that something is camphoric and is automatic is correct is incorrect then it does not reign C-clamp. sent18: if the vice-regent does stale strainer the plover does smash bustling and/or it does not stale strainer. sent19: the hemiplegic does smash Cornish if the phillipsite is a Caucasian. sent20: if something is not a kind of a Caucasian the fact that it is both camphoric and automatic is incorrect. ; $proof$ = 
sent16 -> int1: the phillipsite is a Caucasian if it is camphoric.; __UNKNOWN__