that if the antimuon is not a joint then the acidophil is not a kind of a phosphor is incorrect.
sent1: there is something such that it is not fictile. sent2: the antimuon does joint if that the gunflint is not statutory and it is not a wildlife does not hold. sent3: the fact that the mullet is not a kind of a condemnation is true. sent4: the mullet is a phosphor if the acidophil is not fictile. sent5: if there is something such that it does not weed Saone that the gunflint is not statutory and is not a wildlife is incorrect. sent6: if the gunflint does joint then the antimuon is not statutory. sent7: the anthurium does not weed Saone if the mullet is not a condemnation and it is not fictile. sent8: if the acidophil is a phosphor the mullet is not a condemnation and is not fictile.
void -> assump1: Let's assume that the acidophil is a phosphor.; sent8 & assump1 -> int1: the mullet is both not a condemnation and not fictile.; int1 & sent7 -> int2: that the anthurium does not weed Saone is right.; int2 -> int3: something does not weed Saone.; int3 & sent5 -> int4: the fact that the gunflint is not statutory and it is not a wildlife does not hold.; int4 & sent2 -> int5: the antimuon is a joint.; void -> assump2: Let's assume that the antimuon does not joint.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the acidophil is not a phosphor hold.; [assump2] & int7 -> hypothesis;
$hypothesis$ = that if the antimuon is not a joint then the acidophil is not a kind of a phosphor is incorrect. ; $context$ = sent1: there is something such that it is not fictile. sent2: the antimuon does joint if that the gunflint is not statutory and it is not a wildlife does not hold. sent3: the fact that the mullet is not a kind of a condemnation is true. sent4: the mullet is a phosphor if the acidophil is not fictile. sent5: if there is something such that it does not weed Saone that the gunflint is not statutory and is not a wildlife is incorrect. sent6: if the gunflint does joint then the antimuon is not statutory. sent7: the anthurium does not weed Saone if the mullet is not a condemnation and it is not fictile. sent8: if the acidophil is a phosphor the mullet is not a condemnation and is not fictile. ; $proof$ = 
void -> assump1: Let's assume that the acidophil is a phosphor.; sent8 & assump1 -> int1: the mullet is both not a condemnation and not fictile.; int1 & sent7 -> int2: that the anthurium does not weed Saone is right.; int2 -> int3: something does not weed Saone.; int3 & sent5 -> int4: the fact that the gunflint is not statutory and it is not a wildlife does not hold.; int4 & sent2 -> int5: the antimuon is a joint.; void -> assump2: Let's assume that the antimuon does not joint.; int5 & assump2 -> int6: this is contradiction.; [assump1] & int6 -> int7: the fact that the acidophil is not a phosphor hold.; [assump2] & int7 -> hypothesis; __DISPROVED__