the kolkhoznik is not a kind of a ultramicroscope.
sent1: if the co-star themes hindshank and is a kind of a detour then the fact that the caterpillar is not asphaltic is not false. sent2: if that something is not a kind of an antifungal hold it is not a symphysis and is not a nucleus. sent3: the fact that the kolkhoznik is asphaltic is true. sent4: if the fret is not a caucus that the server is not a ultramicroscope but it is a kind of an antifungal is wrong. sent5: the server does detour and it themes Rhamnus. sent6: if the fret skates it is a kind of an antifungal. sent7: there is something such that that it does not theme hindshank and it skates does not hold. sent8: if something does not theme Rhamnus it themes hindshank and is a detour. sent9: if that something does caucus is not incorrect then it is a skate. sent10: that the server is not a kind of a caucus is not wrong. sent11: there is something such that the fact that it themes Rhamnus and it collides is wrong. sent12: something is asphaltic if it is an antifungal. sent13: there exists something such that the fact that it does measure Lari and does theme horsewhipping does not hold. sent14: the kolkhoznik themes slush and is a median. sent15: there exists something such that the fact that that it is not a kind of a ultramicroscope and is a kind of a skate is not false is incorrect. sent16: if the caterpillar is both a caucus and not a skate the fret does not caucus. sent17: the switch-ivy is an antifungal. sent18: the fret is not a skate if there exists something such that that it does not theme hindshank and skate is wrong. sent19: if the server is asphaltic and it is a detour then the kolkhoznik is not a ultramicroscope. sent20: the fret is not a median and it is not frictionless if the server is not an antifungal. sent21: if something that is not a kind of a ultramicroscope is not a kind of a median the fact that it is frictionless hold. sent22: the kolkhoznik themes Rhamnus and it does measure crack.
void -> assump1: Let's assume that the server is not an antifungal.; sent20 & assump1 -> int1: the fret is not a median and not frictionless.; sent9 -> int2: the fret is a kind of a skate if it caucuses.; sent7 & sent18 -> int3: the fret is not a kind of a skate.; sent12 -> int4: if the fact that the server is a kind of an antifungal is not wrong it is asphaltic.; sent5 -> int5: the server detours.;
the fret is not a symphysis and is not a kind of a nucleus.
sent2 -> int6: the fret is not a symphysis and is not a nucleus if it is not a kind of an antifungal.;
$hypothesis$ = the kolkhoznik is not a kind of a ultramicroscope. ; $context$ = sent1: if the co-star themes hindshank and is a kind of a detour then the fact that the caterpillar is not asphaltic is not false. sent2: if that something is not a kind of an antifungal hold it is not a symphysis and is not a nucleus. sent3: the fact that the kolkhoznik is asphaltic is true. sent4: if the fret is not a caucus that the server is not a ultramicroscope but it is a kind of an antifungal is wrong. sent5: the server does detour and it themes Rhamnus. sent6: if the fret skates it is a kind of an antifungal. sent7: there is something such that that it does not theme hindshank and it skates does not hold. sent8: if something does not theme Rhamnus it themes hindshank and is a detour. sent9: if that something does caucus is not incorrect then it is a skate. sent10: that the server is not a kind of a caucus is not wrong. sent11: there is something such that the fact that it themes Rhamnus and it collides is wrong. sent12: something is asphaltic if it is an antifungal. sent13: there exists something such that the fact that it does measure Lari and does theme horsewhipping does not hold. sent14: the kolkhoznik themes slush and is a median. sent15: there exists something such that the fact that that it is not a kind of a ultramicroscope and is a kind of a skate is not false is incorrect. sent16: if the caterpillar is both a caucus and not a skate the fret does not caucus. sent17: the switch-ivy is an antifungal. sent18: the fret is not a skate if there exists something such that that it does not theme hindshank and skate is wrong. sent19: if the server is asphaltic and it is a detour then the kolkhoznik is not a ultramicroscope. sent20: the fret is not a median and it is not frictionless if the server is not an antifungal. sent21: if something that is not a kind of a ultramicroscope is not a kind of a median the fact that it is frictionless hold. sent22: the kolkhoznik themes Rhamnus and it does measure crack. ; $proof$ = 
void -> assump1: Let's assume that the server is not an antifungal.; sent20 & assump1 -> int1: the fret is not a median and not frictionless.; sent9 -> int2: the fret is a kind of a skate if it caucuses.; sent7 & sent18 -> int3: the fret is not a kind of a skate.; sent12 -> int4: if the fact that the server is a kind of an antifungal is not wrong it is asphaltic.; sent5 -> int5: the server detours.; __UNKNOWN__