the Druze does notch Druze.
sent1: the Druze does not suspend megalocyte if the nystatin does not notch defilade. sent2: the fact that the anil does not whisk but it is an arrival does not hold. sent3: if that that the anil is not a whisk but an arrival does not hold hold then that it does clue propanolol hold. sent4: the propanolol is collagenous. sent5: if the anil clues propanolol then the nystatin is a siltstone. sent6: if there is something such that it is a kind of a siltstone and it does notch defilade then the propanolol is not collagenous.
sent3 & sent2 -> int1: the anil clues propanolol.; int1 & sent5 -> int2: the nystatin is a kind of a siltstone.; void -> assump1: Let's assume that the nystatin notches defilade.; int2 & assump1 -> int3: the nystatin is a siltstone that notches defilade.; int3 -> int4: there exists something such that it is a siltstone and it does notch defilade.; int4 & sent6 -> int5: the propanolol is not collagenous.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> int7: the nystatin does not notch defilade.; int7 & sent1 -> int8: the Druze does not suspend megalocyte.;
$hypothesis$ = the Druze does notch Druze. ; $context$ = sent1: the Druze does not suspend megalocyte if the nystatin does not notch defilade. sent2: the fact that the anil does not whisk but it is an arrival does not hold. sent3: if that that the anil is not a whisk but an arrival does not hold hold then that it does clue propanolol hold. sent4: the propanolol is collagenous. sent5: if the anil clues propanolol then the nystatin is a siltstone. sent6: if there is something such that it is a kind of a siltstone and it does notch defilade then the propanolol is not collagenous. ; $proof$ = 
sent3 & sent2 -> int1: the anil clues propanolol.; int1 & sent5 -> int2: the nystatin is a kind of a siltstone.; void -> assump1: Let's assume that the nystatin notches defilade.; int2 & assump1 -> int3: the nystatin is a siltstone that notches defilade.; int3 -> int4: there exists something such that it is a siltstone and it does notch defilade.; int4 & sent6 -> int5: the propanolol is not collagenous.; int5 & sent4 -> int6: this is contradiction.; [assump1] & int6 -> int7: the nystatin does not notch defilade.; int7 & sent1 -> int8: the Druze does not suspend megalocyte.; __UNKNOWN__