the coiner is unwholesome.
sent1: something is not unwholesome if it is non-clearing. sent2: the coiner is unwholesome if the fact that the arianist is a vasoconstriction is right. sent3: that the arianist is not endodontic or is not a kind of a cogitation or both is not correct. sent4: the crotaphion does suppurate. sent5: something is a vasoconstriction if the fact that it does not interview or it is not a heart-to-heart or both does not hold. sent6: if the coiner is a kind of a vasoconstriction then the arianist is a heart-to-heart. sent7: the arianist is an interview. sent8: the arianist does not suppurate and is endodontic. sent9: if the arianist is clearing it is an interview. sent10: if something is a kind of a clearing the fact that it does not interview or it is not a kind of a heart-to-heart or both is wrong. sent11: the arianist is a clearing if it does not suppurate and it is endodontic. sent12: the arianist does impinge. sent13: the coiner is not a clearing if the fact that it clearing and it is endodontic does not hold. sent14: if the blenny is not a kind of a vulva and is a sulfamethoxazole then it is a heart-to-heart. sent15: if something is a clearing it does interview. sent16: the arianist is endodontic. sent17: if that something interviews and/or it is not a heart-to-heart does not hold it is a vasoconstriction. sent18: the arianist is a vasoconstriction if the fact that it does interview or it is not a heart-to-heart or both is false.
sent10 -> int1: if the arianist is a clearing then the fact that it is not an interview and/or it is not a heart-to-heart is not correct.; sent11 & sent8 -> int2: the arianist clears.; int1 & int2 -> int3: the fact that that the arianist is not an interview or is not a heart-to-heart or both is not wrong is false.; sent5 -> int4: the arianist is a vasoconstriction if that that it is not an interview or it is not a heart-to-heart or both is not wrong does not hold.; int3 & int4 -> int5: the arianist is a vasoconstriction.; int5 & sent2 -> hypothesis;
the coiner is wholesome.
sent1 -> int6: the coiner is not unwholesome if it is not a clearing.;
$hypothesis$ = the coiner is unwholesome. ; $context$ = sent1: something is not unwholesome if it is non-clearing. sent2: the coiner is unwholesome if the fact that the arianist is a vasoconstriction is right. sent3: that the arianist is not endodontic or is not a kind of a cogitation or both is not correct. sent4: the crotaphion does suppurate. sent5: something is a vasoconstriction if the fact that it does not interview or it is not a heart-to-heart or both does not hold. sent6: if the coiner is a kind of a vasoconstriction then the arianist is a heart-to-heart. sent7: the arianist is an interview. sent8: the arianist does not suppurate and is endodontic. sent9: if the arianist is clearing it is an interview. sent10: if something is a kind of a clearing the fact that it does not interview or it is not a kind of a heart-to-heart or both is wrong. sent11: the arianist is a clearing if it does not suppurate and it is endodontic. sent12: the arianist does impinge. sent13: the coiner is not a clearing if the fact that it clearing and it is endodontic does not hold. sent14: if the blenny is not a kind of a vulva and is a sulfamethoxazole then it is a heart-to-heart. sent15: if something is a clearing it does interview. sent16: the arianist is endodontic. sent17: if that something interviews and/or it is not a heart-to-heart does not hold it is a vasoconstriction. sent18: the arianist is a vasoconstriction if the fact that it does interview or it is not a heart-to-heart or both is false. ; $proof$ = 
sent10 -> int1: if the arianist is a clearing then the fact that it is not an interview and/or it is not a heart-to-heart is not correct.; sent11 & sent8 -> int2: the arianist clears.; int1 & int2 -> int3: the fact that that the arianist is not an interview or is not a heart-to-heart or both is not wrong is false.; sent5 -> int4: the arianist is a vasoconstriction if that that it is not an interview or it is not a heart-to-heart or both is not wrong does not hold.; int3 & int4 -> int5: the arianist is a vasoconstriction.; int5 & sent2 -> hypothesis; __PROVED__