the fact that the fact that the sloop is both orthodox and uricosuric hold does not hold.
sent1: if something is not a mescal and it is not surmountable then it does not redecorate loge. sent2: if something is milch then it is orthodox. sent3: if something that is not a finality falls decrepitation then it is milch. sent4: something is uricosuric. sent5: if there is something such that it falls sleepiness then the fact that the chewink is not milch and it does not fall decrepitation is not right. sent6: if either the choler redecorates loge or it is not inflexible or both the sloop is uricosuric. sent7: if the spare is not a kind of a finality the chewink is both not a mescal and not surmountable. sent8: the shoe redecorates loge if that the mucopolysaccharide is not a matronymic and it does not redecorates loge does not hold. sent9: the spare is not milch. sent10: there is something such that it falls sleepiness. sent11: if something that is not orthodox is not uricosuric it is not a finality. sent12: if the spare does fall sleepiness the sloop is not a finality but it does fall decrepitation. sent13: there exists nothing that is not a matronymic and does not redecorate loge. sent14: if the fact that the choler is not orthodox is not incorrect the shoe is inflexible and is not orthodox. sent15: if that something is not milch and it does not fall decrepitation does not hold it is milch. sent16: if the sloop is not uricosuric then the choler is not orthodox and it does not fall decrepitation. sent17: the choler is both not uricosuric and not orthodox if the sloop does not redecorate loge. sent18: if the chewink is a kind of milch thing that does not redecorate loge the choler is not orthodox. sent19: something is a Natchez and it does redecorate choler. sent20: the chewink is not a mescal. sent21: if the shoe is not inflexible then the spare is both a finality and not inflexible. sent22: if there is something such that it is uricosuric that the sloop is not surmountable and not orthodox does not hold. sent23: the spare is not a finality.
sent1 -> int1: the chewink does not redecorate loge if the fact that it is both not a mescal and not surmountable hold.; sent7 & sent23 -> int2: the chewink is not a kind of a mescal and it is not surmountable.; int1 & int2 -> int3: the fact that the chewink does not redecorate loge hold.; sent15 -> int4: if the fact that the chewink is not milch and it does not fall decrepitation does not hold it is milch.; sent10 & sent5 -> int5: the fact that the chewink is not milch and it does not fall decrepitation is not right.; int4 & int5 -> int6: the chewink is milch.; int3 & int6 -> int7: the chewink is milch but it does not redecorate loge.; int7 & sent18 -> int8: the choler is not orthodox.; int8 & sent14 -> int9: that the shoe is inflexible but it is not orthodox is not incorrect.; int9 -> int10: the shoe is not orthodox.;
the sloop is orthodox and is uricosuric.
sent2 -> int11: if the sloop is milch it is orthodox.; sent3 -> int12: if that the sloop is not a finality and falls decrepitation hold then it is milch.; sent13 -> int13: the fact that the mucopolysaccharide is not a matronymic and does not redecorate loge is not correct.; sent8 & int13 -> int14: the shoe does redecorate loge.; int14 -> int15: something redecorates loge.;
$hypothesis$ = the fact that the fact that the sloop is both orthodox and uricosuric hold does not hold. ; $context$ = sent1: if something is not a mescal and it is not surmountable then it does not redecorate loge. sent2: if something is milch then it is orthodox. sent3: if something that is not a finality falls decrepitation then it is milch. sent4: something is uricosuric. sent5: if there is something such that it falls sleepiness then the fact that the chewink is not milch and it does not fall decrepitation is not right. sent6: if either the choler redecorates loge or it is not inflexible or both the sloop is uricosuric. sent7: if the spare is not a kind of a finality the chewink is both not a mescal and not surmountable. sent8: the shoe redecorates loge if that the mucopolysaccharide is not a matronymic and it does not redecorates loge does not hold. sent9: the spare is not milch. sent10: there is something such that it falls sleepiness. sent11: if something that is not orthodox is not uricosuric it is not a finality. sent12: if the spare does fall sleepiness the sloop is not a finality but it does fall decrepitation. sent13: there exists nothing that is not a matronymic and does not redecorate loge. sent14: if the fact that the choler is not orthodox is not incorrect the shoe is inflexible and is not orthodox. sent15: if that something is not milch and it does not fall decrepitation does not hold it is milch. sent16: if the sloop is not uricosuric then the choler is not orthodox and it does not fall decrepitation. sent17: the choler is both not uricosuric and not orthodox if the sloop does not redecorate loge. sent18: if the chewink is a kind of milch thing that does not redecorate loge the choler is not orthodox. sent19: something is a Natchez and it does redecorate choler. sent20: the chewink is not a mescal. sent21: if the shoe is not inflexible then the spare is both a finality and not inflexible. sent22: if there is something such that it is uricosuric that the sloop is not surmountable and not orthodox does not hold. sent23: the spare is not a finality. ; $proof$ = 
sent1 -> int1: the chewink does not redecorate loge if the fact that it is both not a mescal and not surmountable hold.; sent7 & sent23 -> int2: the chewink is not a kind of a mescal and it is not surmountable.; int1 & int2 -> int3: the fact that the chewink does not redecorate loge hold.; sent15 -> int4: if the fact that the chewink is not milch and it does not fall decrepitation does not hold it is milch.; sent10 & sent5 -> int5: the fact that the chewink is not milch and it does not fall decrepitation is not right.; int4 & int5 -> int6: the chewink is milch.; int3 & int6 -> int7: the chewink is milch but it does not redecorate loge.; int7 & sent18 -> int8: the choler is not orthodox.; int8 & sent14 -> int9: that the shoe is inflexible but it is not orthodox is not incorrect.; int9 -> int10: the shoe is not orthodox.; __UNKNOWN__