the desiccant does slalom.
sent1: something is an anti if the fact that it is a Armadillidium and it is not fertile is wrong. sent2: if the cloudiness does not factorize cardholder then that it is both a Armadillidium and not fertile is not right. sent3: the desiccant awards disinterest if the cloudiness is an anti. sent4: if the cloudiness is not a kind of a Armadillidium it is anti. sent5: the desiccant is airworthy. sent6: the AI does factorize telegram but it is not airworthy. sent7: that the AI factorizes telegram and is not airworthy is wrong if the cloudiness does factorize cardholder. sent8: that that the desiccant is not a kind of the slalom does not hold if the desiccant does award disinterest hold.
void -> assump1: Let's assume that that the cloudiness does factorize cardholder hold.; sent7 & assump1 -> int1: that the AI does factorize telegram and is not airworthy is not true.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cloudiness does not factorize cardholder hold.; int3 & sent2 -> int4: that the cloudiness is a Armadillidium and not fertile is wrong.; sent1 -> int5: the cloudiness is an anti if the fact that it is a kind of a Armadillidium and it is not fertile is not right.; int4 & int5 -> int6: the cloudiness is anti.; int6 & sent3 -> int7: the fact that the desiccant does award disinterest is not incorrect.; int7 & sent8 -> hypothesis;
$hypothesis$ = the desiccant does slalom. ; $context$ = sent1: something is an anti if the fact that it is a Armadillidium and it is not fertile is wrong. sent2: if the cloudiness does not factorize cardholder then that it is both a Armadillidium and not fertile is not right. sent3: the desiccant awards disinterest if the cloudiness is an anti. sent4: if the cloudiness is not a kind of a Armadillidium it is anti. sent5: the desiccant is airworthy. sent6: the AI does factorize telegram but it is not airworthy. sent7: that the AI factorizes telegram and is not airworthy is wrong if the cloudiness does factorize cardholder. sent8: that that the desiccant is not a kind of the slalom does not hold if the desiccant does award disinterest hold. ; $proof$ = 
void -> assump1: Let's assume that that the cloudiness does factorize cardholder hold.; sent7 & assump1 -> int1: that the AI does factorize telegram and is not airworthy is not true.; int1 & sent6 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cloudiness does not factorize cardholder hold.; int3 & sent2 -> int4: that the cloudiness is a Armadillidium and not fertile is wrong.; sent1 -> int5: the cloudiness is an anti if the fact that it is a kind of a Armadillidium and it is not fertile is not right.; int4 & int5 -> int6: the cloudiness is anti.; int6 & sent3 -> int7: the fact that the desiccant does award disinterest is not incorrect.; int7 & sent8 -> hypothesis; __PROVED__