the minocycline is alular.
sent1: the sirenian does not channel. sent2: something is a Zoroastrian if it is a saltwort. sent3: if something that is a heifer beads kumquat then the towline is a saltwort. sent4: if that either the surfboard is not a heifer or it does bead kumquat or both is not correct the fact that the minocycline is not alular is not false. sent5: something does founder but it is not servomechanical. sent6: if the sirenian is not a heifer then that the surfboard is not a kind of a heifer and/or it does bead kumquat is not correct. sent7: everything does not bead kumquat. sent8: if the sirenian is not a channel but a heifer the towline is not a Zoroastrian. sent9: the towline is a saltwort if a founder is not servomechanical.
void -> assump1: Let's assume that the sirenian is a heifer.; sent1 & assump1 -> int1: the sirenian does not channel and is a heifer.; int1 & sent8 -> int2: the towline is not a Zoroastrian.; sent2 -> int3: if the towline is a kind of a saltwort then it is a Zoroastrian.; sent5 & sent9 -> int4: the towline is a saltwort.; int3 & int4 -> int5: that the towline is a kind of a Zoroastrian is correct.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sirenian is not a heifer.; int7 & sent6 -> int8: that either the surfboard is not a heifer or it does bead kumquat or both is not correct.; int8 & sent4 -> hypothesis;
that the minocycline is alular is not wrong.
sent7 -> int9: the towline does not bead kumquat.;
$hypothesis$ = the minocycline is alular. ; $context$ = sent1: the sirenian does not channel. sent2: something is a Zoroastrian if it is a saltwort. sent3: if something that is a heifer beads kumquat then the towline is a saltwort. sent4: if that either the surfboard is not a heifer or it does bead kumquat or both is not correct the fact that the minocycline is not alular is not false. sent5: something does founder but it is not servomechanical. sent6: if the sirenian is not a heifer then that the surfboard is not a kind of a heifer and/or it does bead kumquat is not correct. sent7: everything does not bead kumquat. sent8: if the sirenian is not a channel but a heifer the towline is not a Zoroastrian. sent9: the towline is a saltwort if a founder is not servomechanical. ; $proof$ = 
void -> assump1: Let's assume that the sirenian is a heifer.; sent1 & assump1 -> int1: the sirenian does not channel and is a heifer.; int1 & sent8 -> int2: the towline is not a Zoroastrian.; sent2 -> int3: if the towline is a kind of a saltwort then it is a Zoroastrian.; sent5 & sent9 -> int4: the towline is a saltwort.; int3 & int4 -> int5: that the towline is a kind of a Zoroastrian is correct.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sirenian is not a heifer.; int7 & sent6 -> int8: that either the surfboard is not a heifer or it does bead kumquat or both is not correct.; int8 & sent4 -> hypothesis; __DISPROVED__