the Alabaman does not drone PAYE but it is a wonton.
sent1: the onyxis is a Elopidae. sent2: if something is not a iambic the fact that it does not drone PAYE and it is a kind of a wonton does not hold. sent3: the ballcock does not contribute myelencephalon. sent4: the Alabaman is not iambic if the fact that the centerfold is not extricable and/or it does contribute myelencephalon is not right. sent5: if the onyxis is a kind of a Elopidae that the centerfold is not extricable and/or does contribute myelencephalon is incorrect.
sent5 & sent1 -> int1: that that the centerfold is not extricable or does contribute myelencephalon or both is false is not incorrect.; int1 & sent4 -> int2: the fact that the Alabaman is non-iambic hold.; sent2 -> int3: if the Alabaman is not iambic that it does not drone PAYE and is a kind of a wonton is false.; int2 & int3 -> hypothesis;
$hypothesis$ = the Alabaman does not drone PAYE but it is a wonton. ; $context$ = sent1: the onyxis is a Elopidae. sent2: if something is not a iambic the fact that it does not drone PAYE and it is a kind of a wonton does not hold. sent3: the ballcock does not contribute myelencephalon. sent4: the Alabaman is not iambic if the fact that the centerfold is not extricable and/or it does contribute myelencephalon is not right. sent5: if the onyxis is a kind of a Elopidae that the centerfold is not extricable and/or does contribute myelencephalon is incorrect. ; $proof$ = 
sent5 & sent1 -> int1: that that the centerfold is not extricable or does contribute myelencephalon or both is false is not incorrect.; int1 & sent4 -> int2: the fact that the Alabaman is non-iambic hold.; sent2 -> int3: if the Alabaman is not iambic that it does not drone PAYE and is a kind of a wonton is false.; int2 & int3 -> hypothesis; __DISPROVED__