that the miner is prenatal if the fact that the euglena is a sunstroke is right does not hold.
sent1: if that the tomtit is prenatal is not incorrect then that the miner is not a Polyodon does not hold. sent2: if the euglena is prenatal that the miner is a kind of a sunstroke is true. sent3: the euglena is prenatal. sent4: the inmate is a kind of a Polyodon. sent5: the tomtit is a sunstroke. sent6: if the euglena is a sunstroke the fact that the tomtit is a Polyodon hold. sent7: if the euglena is a Polyodon then the tomtit is a sunstroke. sent8: the partition is a kind of a Polyodon. sent9: the miner is a Mandaean. sent10: the fact that the miner is a kind of a Pusan hold. sent11: the IOL is prenatal. sent12: if the tomtit is a sunstroke the euglena is a kind of a Polyodon. sent13: the tomtit is prenatal if the miner is a kind of a Polyodon. sent14: if the tomtit is a Polyodon the miner is prenatal. sent15: the euglena is a lomustine. sent16: the glyptography is prenatal. sent17: that the euglena is a Polyodon is not false.
void -> assump1: Let's assume that the euglena is a sunstroke.; sent6 & assump1 -> int1: the tomtit is a kind of a Polyodon.; sent14 & int1 -> int2: the miner is prenatal.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the miner is prenatal if the fact that the euglena is a sunstroke is right does not hold. ; $context$ = sent1: if that the tomtit is prenatal is not incorrect then that the miner is not a Polyodon does not hold. sent2: if the euglena is prenatal that the miner is a kind of a sunstroke is true. sent3: the euglena is prenatal. sent4: the inmate is a kind of a Polyodon. sent5: the tomtit is a sunstroke. sent6: if the euglena is a sunstroke the fact that the tomtit is a Polyodon hold. sent7: if the euglena is a Polyodon then the tomtit is a sunstroke. sent8: the partition is a kind of a Polyodon. sent9: the miner is a Mandaean. sent10: the fact that the miner is a kind of a Pusan hold. sent11: the IOL is prenatal. sent12: if the tomtit is a sunstroke the euglena is a kind of a Polyodon. sent13: the tomtit is prenatal if the miner is a kind of a Polyodon. sent14: if the tomtit is a Polyodon the miner is prenatal. sent15: the euglena is a lomustine. sent16: the glyptography is prenatal. sent17: that the euglena is a Polyodon is not false. ; $proof$ = 
void -> assump1: Let's assume that the euglena is a sunstroke.; sent6 & assump1 -> int1: the tomtit is a kind of a Polyodon.; sent14 & int1 -> int2: the miner is prenatal.; [assump1] & int2 -> hypothesis; __DISPROVED__