the panicle is not postmillennial.
sent1: that the pelvimeter does crash is not false. sent2: if the coca does not plate eponymy the panicle is humic thing that does exacerbate. sent3: the fact that the pelvimeter is not cerous hold if that it does not anticipate and it does not term bowl is not right. sent4: if the panicle is humic then it exacerbates. sent5: the coca is humic if the pelvimeter is air-to-surface. sent6: if the pelvimeter is humic then the panicle exacerbates. sent7: the coca is a kind of a bunco and is air-to-surface. sent8: something is postmillennial if it does exacerbate. sent9: the coca is a bunco. sent10: if the pelvimeter does crash the fact that it does not anticipate and it does not term bowl is incorrect. sent11: the fact that the pelvimeter is humic is right if the coca is air-to-surface. sent12: the panicle is a bunco if the coca exacerbates. sent13: a humic thing is non-air-to-surface a bunco. sent14: if something is postmillennial it is air-to-surface. sent15: if a non-air-to-surface thing is a bunco then it is not postmillennial. sent16: something does not plate eponymy if the fact that it is regular and not a purveyance is not correct.
sent7 -> int1: the coca is air-to-surface.; int1 & sent11 -> int2: the pelvimeter is humic.; int2 & sent6 -> int3: the panicle exacerbates.; sent8 -> int4: if the panicle exacerbates then it is postmillennial.; int3 & int4 -> hypothesis;
the panicle is not postmillennial.
sent15 -> int5: if the panicle is non-air-to-surface a bunco then it is not postmillennial.; sent13 -> int6: if the panicle is humic then it is non-air-to-surface thing that is a bunco.; sent16 -> int7: the coca does not plate eponymy if that it is a regular and it is not a kind of a purveyance is incorrect.; sent10 & sent1 -> int8: that the pelvimeter does not anticipate and it does not term bowl is incorrect.; sent3 & int8 -> int9: the pelvimeter is not cerous.; int9 -> int10: there is something such that it is not cerous.;
$hypothesis$ = the panicle is not postmillennial. ; $context$ = sent1: that the pelvimeter does crash is not false. sent2: if the coca does not plate eponymy the panicle is humic thing that does exacerbate. sent3: the fact that the pelvimeter is not cerous hold if that it does not anticipate and it does not term bowl is not right. sent4: if the panicle is humic then it exacerbates. sent5: the coca is humic if the pelvimeter is air-to-surface. sent6: if the pelvimeter is humic then the panicle exacerbates. sent7: the coca is a kind of a bunco and is air-to-surface. sent8: something is postmillennial if it does exacerbate. sent9: the coca is a bunco. sent10: if the pelvimeter does crash the fact that it does not anticipate and it does not term bowl is incorrect. sent11: the fact that the pelvimeter is humic is right if the coca is air-to-surface. sent12: the panicle is a bunco if the coca exacerbates. sent13: a humic thing is non-air-to-surface a bunco. sent14: if something is postmillennial it is air-to-surface. sent15: if a non-air-to-surface thing is a bunco then it is not postmillennial. sent16: something does not plate eponymy if the fact that it is regular and not a purveyance is not correct. ; $proof$ = 
sent7 -> int1: the coca is air-to-surface.; int1 & sent11 -> int2: the pelvimeter is humic.; int2 & sent6 -> int3: the panicle exacerbates.; sent8 -> int4: if the panicle exacerbates then it is postmillennial.; int3 & int4 -> hypothesis; __DISPROVED__