there exists something such that it is a Pteridium and/or it is a counter.
sent1: either the malmsey is not sciatic or it is not a unadaptability or both if there is something such that it winnows Pomacanthus. sent2: if there exists something such that that it is a Cracow is correct either the muffle is not a kind of a microphone or it is a cohesion or both. sent3: the malmsey is a kind of a microphone. sent4: something is a oneiromancy or a myringotomy or both. sent5: if the malmsey is not a kind of a unadaptability then that the coagulase is most is not wrong. sent6: if the muffle is a cohesion then it is a kind of a Pteridium. sent7: if the muffle is not sciatic then the malmsey is a microphone. sent8: if the coagulase is most the CRP bogs yesterday. sent9: there exists something such that it winnows Pomacanthus. sent10: if the CRP does bog yesterday then the drainboard is a kind of a Cracow. sent11: if something does not bog yesterday then the fact that it is most and is a unadaptability does not hold. sent12: if something is not a microphone or is a cohesion or both then it is a Pteridium. sent13: there is something such that it is most. sent14: something is a Pteridium if it is a kind of a cohesion. sent15: the CRP is a kind of a Cracow if the drainboard does not bog yesterday.
sent9 & sent1 -> int1: the malmsey is not sciatic or it is not a unadaptability or both.; sent12 -> int2: the muffle is a Pteridium if it is either not a microphone or a cohesion or both.;
either the drainboard is not a kind of a luciferin or it does not yodel drawnwork or both.
sent11 -> int3: if the CRP does not bog yesterday that it is most and it is a unadaptability does not hold.;
$hypothesis$ = there exists something such that it is a Pteridium and/or it is a counter. ; $context$ = sent1: either the malmsey is not sciatic or it is not a unadaptability or both if there is something such that it winnows Pomacanthus. sent2: if there exists something such that that it is a Cracow is correct either the muffle is not a kind of a microphone or it is a cohesion or both. sent3: the malmsey is a kind of a microphone. sent4: something is a oneiromancy or a myringotomy or both. sent5: if the malmsey is not a kind of a unadaptability then that the coagulase is most is not wrong. sent6: if the muffle is a cohesion then it is a kind of a Pteridium. sent7: if the muffle is not sciatic then the malmsey is a microphone. sent8: if the coagulase is most the CRP bogs yesterday. sent9: there exists something such that it winnows Pomacanthus. sent10: if the CRP does bog yesterday then the drainboard is a kind of a Cracow. sent11: if something does not bog yesterday then the fact that it is most and is a unadaptability does not hold. sent12: if something is not a microphone or is a cohesion or both then it is a Pteridium. sent13: there is something such that it is most. sent14: something is a Pteridium if it is a kind of a cohesion. sent15: the CRP is a kind of a Cracow if the drainboard does not bog yesterday. ; $proof$ = 
sent9 & sent1 -> int1: the malmsey is not sciatic or it is not a unadaptability or both.; sent12 -> int2: the muffle is a Pteridium if it is either not a microphone or a cohesion or both.; __UNKNOWN__