the son-in-law is a jejunostomy.
sent1: the son-in-law is fungicidal. sent2: the son-in-law is a kind of a census if that it is miscible is not wrong. sent3: if the microtome is miscible then it is a kind of a Belarus. sent4: the depression censuses. sent5: the frumenty is not a jejunostomy if it does not extort. sent6: the son-in-law is a nest. sent7: if the synthetism does not pattern then that it billows synthetism and it does census does not hold. sent8: if the cyanohydrin is a kind of a Sesamum that it is miscible is correct. sent9: the son-in-law is not a census if it is not a Republican. sent10: if the teiid is not a census it is not a pinball. sent11: if the son-in-law is a bismuth then the fact that it is a jejunostomy is not false. sent12: the alcohol is not miscible if that the rings does not billow synthetism and it is not miscible is wrong. sent13: if the fact that something does billow synthetism and it is a kind of a census is not correct it is not a kind of a jejunostomy. sent14: the son-in-law is miscible. sent15: that that the bezel is both a jejunostomy and a census is wrong is right if the alcohol is not miscible. sent16: that something does not billow synthetism and is not miscible does not hold if it does not pattern. sent17: the wrecker is not a kind of a nest.
void -> assump1: Let's assume that the son-in-law is not a kind of a jejunostomy.; sent2 & sent14 -> int1: the son-in-law censuses.;
the son-in-law is not a jejunostomy.
sent16 -> int2: if the rings is not a patterned then that it does not billow synthetism and it is not miscible is not correct.;
$hypothesis$ = the son-in-law is a jejunostomy. ; $context$ = sent1: the son-in-law is fungicidal. sent2: the son-in-law is a kind of a census if that it is miscible is not wrong. sent3: if the microtome is miscible then it is a kind of a Belarus. sent4: the depression censuses. sent5: the frumenty is not a jejunostomy if it does not extort. sent6: the son-in-law is a nest. sent7: if the synthetism does not pattern then that it billows synthetism and it does census does not hold. sent8: if the cyanohydrin is a kind of a Sesamum that it is miscible is correct. sent9: the son-in-law is not a census if it is not a Republican. sent10: if the teiid is not a census it is not a pinball. sent11: if the son-in-law is a bismuth then the fact that it is a jejunostomy is not false. sent12: the alcohol is not miscible if that the rings does not billow synthetism and it is not miscible is wrong. sent13: if the fact that something does billow synthetism and it is a kind of a census is not correct it is not a kind of a jejunostomy. sent14: the son-in-law is miscible. sent15: that that the bezel is both a jejunostomy and a census is wrong is right if the alcohol is not miscible. sent16: that something does not billow synthetism and is not miscible does not hold if it does not pattern. sent17: the wrecker is not a kind of a nest. ; $proof$ = 
void -> assump1: Let's assume that the son-in-law is not a kind of a jejunostomy.; sent2 & sent14 -> int1: the son-in-law censuses.; __UNKNOWN__