the horsepond is not a Papuan and it is not a polyandrist.
sent1: the soleus is not a Papuan. sent2: the horsepond is not Papuan if the soleus is a polyandrist. sent3: the eggar is a kind of a dumbbell. sent4: if the mat is a Chamaedaphne then the soleus is a Chamaedaphne. sent5: the bartender is subjacent if the hodoscope does not beat malt and it is not a Devi. sent6: if the soleus is a Chamaedaphne it does not fudge pachinko and it is not a drapery. sent7: if the eggar is a dumbbell then that it is not counterclockwise and does not pace is not true. sent8: the fact that the hodoscope does not beat malt is not false. sent9: if the fact that something is not counterclockwise and not a pacing is incorrect it is not a maple. sent10: the horsepond is not a Papuan and not a polyandrist if the soleus is a kind of a polyandrist. sent11: the audiocassette is not a kind of a Papuan. sent12: the horsepond is not a Papuan. sent13: that the eggar is not bacteriological and is not exocentric is not correct. sent14: The fact that the malt does not beat hodoscope is not false. sent15: the eggar is not a liking if that it is not bacteriological and it is not exocentric is not right. sent16: the hodoscope is not a Devi. sent17: if something is subjacent it does fudge mat. sent18: the hodoscope is a Devi and/or it is a polyandrist if there exists something such that it is a Devi. sent19: if the bartender is a Devi the hodoscope beats malt. sent20: if something fudges mat then the soleus is a polyandrist. sent21: if the eggar is not a kind of a liking and it is not a maple the mat is a Chamaedaphne.
sent8 & sent16 -> int1: the hodoscope does not beat malt and it is not a Devi.; int1 & sent5 -> int2: the bartender is subjacent.; sent17 -> int3: the bartender fudges mat if it is subjacent.; int2 & int3 -> int4: the bartender does fudge mat.; int4 -> int5: there exists something such that it does fudge mat.; int5 & sent20 -> int6: the soleus is a polyandrist.; int6 & sent10 -> hypothesis;
the kurrat is a polyandrist.
$hypothesis$ = the horsepond is not a Papuan and it is not a polyandrist. ; $context$ = sent1: the soleus is not a Papuan. sent2: the horsepond is not Papuan if the soleus is a polyandrist. sent3: the eggar is a kind of a dumbbell. sent4: if the mat is a Chamaedaphne then the soleus is a Chamaedaphne. sent5: the bartender is subjacent if the hodoscope does not beat malt and it is not a Devi. sent6: if the soleus is a Chamaedaphne it does not fudge pachinko and it is not a drapery. sent7: if the eggar is a dumbbell then that it is not counterclockwise and does not pace is not true. sent8: the fact that the hodoscope does not beat malt is not false. sent9: if the fact that something is not counterclockwise and not a pacing is incorrect it is not a maple. sent10: the horsepond is not a Papuan and not a polyandrist if the soleus is a kind of a polyandrist. sent11: the audiocassette is not a kind of a Papuan. sent12: the horsepond is not a Papuan. sent13: that the eggar is not bacteriological and is not exocentric is not correct. sent14: The fact that the malt does not beat hodoscope is not false. sent15: the eggar is not a liking if that it is not bacteriological and it is not exocentric is not right. sent16: the hodoscope is not a Devi. sent17: if something is subjacent it does fudge mat. sent18: the hodoscope is a Devi and/or it is a polyandrist if there exists something such that it is a Devi. sent19: if the bartender is a Devi the hodoscope beats malt. sent20: if something fudges mat then the soleus is a polyandrist. sent21: if the eggar is not a kind of a liking and it is not a maple the mat is a Chamaedaphne. ; $proof$ = 
sent8 & sent16 -> int1: the hodoscope does not beat malt and it is not a Devi.; int1 & sent5 -> int2: the bartender is subjacent.; sent17 -> int3: the bartender fudges mat if it is subjacent.; int2 & int3 -> int4: the bartender does fudge mat.; int4 -> int5: there exists something such that it does fudge mat.; int5 & sent20 -> int6: the soleus is a polyandrist.; int6 & sent10 -> hypothesis; __PROVED__