the practitioner is not a moonfish or is not a coronary or both.
sent1: if something does not invigorate and is not proper that it is not a moonfish is not false. sent2: if the philhellene is a consonance that the fact that the practitioner is not a kind of a moonfish and/or is not a coronary does not hold hold. sent3: if something is not proper and it is not coronary it does not invigorate. sent4: the frijole does not wow iamb and it does not invigorate. sent5: the fact that the practitioner is a consonance is not incorrect. sent6: the angioscope does prepose boardroom and does throw if it does not prepose accountant. sent7: the fact that the practitioner is basidial is not incorrect. sent8: if there is something such that that it is basidial and it is not non-coronary is incorrect then the practitioner is not basidial. sent9: if something that is a consonance is basidial it does not invigorate. sent10: the fact that the lint is proper is not right if the pinpoint does not photostat chimneysweeper and is proper. sent11: the practitioner is not proper if there is something such that the fact that it is proper and photostats chimneysweeper is not correct. sent12: the pinpoint does not photostat chimneysweeper and is proper if that the angioscope does prepose boardroom is correct.
sent5 & sent7 -> int1: the fact that the practitioner is both a consonance and basidial hold.; sent9 -> int2: if the practitioner is a consonance and it is basidial then it does not invigorate.; int1 & int2 -> int3: the practitioner does not invigorate.; sent1 -> int4: the practitioner is not a moonfish if it does not invigorate and is not proper.;
that the practitioner is either not a moonfish or not a coronary or both does not hold.
$hypothesis$ = the practitioner is not a moonfish or is not a coronary or both. ; $context$ = sent1: if something does not invigorate and is not proper that it is not a moonfish is not false. sent2: if the philhellene is a consonance that the fact that the practitioner is not a kind of a moonfish and/or is not a coronary does not hold hold. sent3: if something is not proper and it is not coronary it does not invigorate. sent4: the frijole does not wow iamb and it does not invigorate. sent5: the fact that the practitioner is a consonance is not incorrect. sent6: the angioscope does prepose boardroom and does throw if it does not prepose accountant. sent7: the fact that the practitioner is basidial is not incorrect. sent8: if there is something such that that it is basidial and it is not non-coronary is incorrect then the practitioner is not basidial. sent9: if something that is a consonance is basidial it does not invigorate. sent10: the fact that the lint is proper is not right if the pinpoint does not photostat chimneysweeper and is proper. sent11: the practitioner is not proper if there is something such that the fact that it is proper and photostats chimneysweeper is not correct. sent12: the pinpoint does not photostat chimneysweeper and is proper if that the angioscope does prepose boardroom is correct. ; $proof$ = 
sent5 & sent7 -> int1: the fact that the practitioner is both a consonance and basidial hold.; sent9 -> int2: if the practitioner is a consonance and it is basidial then it does not invigorate.; int1 & int2 -> int3: the practitioner does not invigorate.; sent1 -> int4: the practitioner is not a moonfish if it does not invigorate and is not proper.; __UNKNOWN__