the low is alphabetic.
sent1: something that is not a kind of a Cycliophora is not a slap and not adventitial. sent2: the insomniac is not a Cycliophora. sent3: the insomniac does not deem and is not a vicinity if the fact that the low is not a antrum hold. sent4: if something is not a vicinity that it does deem and it does not slap is wrong. sent5: something that is a antrum is alphabetic. sent6: the reactance is not a kind of a slap. sent7: if the insomniac does deem it is humic. sent8: the fact that the insomniac is not a Cycliophora but it is alphabetic is false. sent9: the fact that something does not slap and it is not adventitial does not hold if it does not deem.
void -> assump1: Let's assume that the low is not a antrum.; sent3 & assump1 -> int1: the insomniac does not deem and it is not a vicinity.; int1 -> int2: the insomniac does not deem.; sent9 -> int3: the fact that the insomniac does not slap and is not adventitial does not hold if it does not deem.; int2 & int3 -> int4: that the insomniac is not a slap and not adventitial is false.; sent1 -> int5: if the insomniac is not a Cycliophora it is not a kind of a slap and it is not adventitial.; int5 & sent2 -> int6: the insomniac does not slap and it is not adventitial.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the low is a antrum.; sent5 -> int9: the low is alphabetic if that it is a antrum is correct.; int8 & int9 -> hypothesis;
$hypothesis$ = the low is alphabetic. ; $context$ = sent1: something that is not a kind of a Cycliophora is not a slap and not adventitial. sent2: the insomniac is not a Cycliophora. sent3: the insomniac does not deem and is not a vicinity if the fact that the low is not a antrum hold. sent4: if something is not a vicinity that it does deem and it does not slap is wrong. sent5: something that is a antrum is alphabetic. sent6: the reactance is not a kind of a slap. sent7: if the insomniac does deem it is humic. sent8: the fact that the insomniac is not a Cycliophora but it is alphabetic is false. sent9: the fact that something does not slap and it is not adventitial does not hold if it does not deem. ; $proof$ = 
void -> assump1: Let's assume that the low is not a antrum.; sent3 & assump1 -> int1: the insomniac does not deem and it is not a vicinity.; int1 -> int2: the insomniac does not deem.; sent9 -> int3: the fact that the insomniac does not slap and is not adventitial does not hold if it does not deem.; int2 & int3 -> int4: that the insomniac is not a slap and not adventitial is false.; sent1 -> int5: if the insomniac is not a Cycliophora it is not a kind of a slap and it is not adventitial.; int5 & sent2 -> int6: the insomniac does not slap and it is not adventitial.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the low is a antrum.; sent5 -> int9: the low is alphabetic if that it is a antrum is correct.; int8 & int9 -> hypothesis; __PROVED__