the call-in is a feline.
sent1: if something is a durance then it does not communicate Popper. sent2: the dextrose is a wish. sent3: something is not a kind of a durance and is not aeromechanic if it wishes. sent4: if the dextrose is a Mary then the meatloaf wishes. sent5: if that the dextrose is not aeromechanic and it does not wish is incorrect then the dermatologist is a Mary. sent6: if the dextrose is non-feline then it is a kind of a Mary that does communicate Popper. sent7: the call-in does not communicate Popper. sent8: the call-in does not communicate Popper if it is a durance. sent9: if the dextrose is not non-aeromechanic then the fact that the dermatologist is a Mary hold. sent10: the fact that the call-in is a durance if the dermatologist is a Mary is not false.
void -> assump1: Let's assume that the dextrose is both not aeromechanic and not a wish.; assump1 -> int1: the dextrose is not a kind of a wish.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the dextrose is not aeromechanic and it is not a kind of a wish is not true.; int3 & sent5 -> int4: the dermatologist is a Mary.; int4 & sent10 -> int5: the call-in is a durance.;
the meatloaf is not a durance.
sent3 -> int6: the meatloaf is both not a durance and not aeromechanic if it is a wish.;
$hypothesis$ = the call-in is a feline. ; $context$ = sent1: if something is a durance then it does not communicate Popper. sent2: the dextrose is a wish. sent3: something is not a kind of a durance and is not aeromechanic if it wishes. sent4: if the dextrose is a Mary then the meatloaf wishes. sent5: if that the dextrose is not aeromechanic and it does not wish is incorrect then the dermatologist is a Mary. sent6: if the dextrose is non-feline then it is a kind of a Mary that does communicate Popper. sent7: the call-in does not communicate Popper. sent8: the call-in does not communicate Popper if it is a durance. sent9: if the dextrose is not non-aeromechanic then the fact that the dermatologist is a Mary hold. sent10: the fact that the call-in is a durance if the dermatologist is a Mary is not false. ; $proof$ = 
void -> assump1: Let's assume that the dextrose is both not aeromechanic and not a wish.; assump1 -> int1: the dextrose is not a kind of a wish.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the dextrose is not aeromechanic and it is not a kind of a wish is not true.; int3 & sent5 -> int4: the dermatologist is a Mary.; int4 & sent10 -> int5: the call-in is a durance.; __UNKNOWN__