the dibucaine is not a kind of a confirmation.
sent1: the shopwindow does enter Chloroxylon if something is not a kind of a Liberian. sent2: if the shopwindow is cultural that the dibucaine is not an ana does not hold. sent3: if the fact that the general is a foster-child but it is not impetiginous does not hold then the Perm is impetiginous. sent4: the Perm is a confirmation and/or it is non-Liberian. sent5: the fact that the shopwindow does not enter Chloroxylon and/or it is not lymphatic does not hold if something is non-Liberian. sent6: the Perm is not a Liberian. sent7: the dibucaine is Liberian if the Perm is not non-impetiginous and is not a kind of a Gula. sent8: if something is a kind of an ana the fact that it is not a confirmation is not false. sent9: if something is non-cultural then the fact that it either does not enter Chloroxylon or is not lymphatic or both is not incorrect. sent10: the fact that something is not an ana but it is not non-cultural is not right if it is a Liberian.
sent9 -> int1: if the shopwindow is not cultural it does not enter Chloroxylon or is not lymphatic or both.; void -> assump1: Let's assume that the shopwindow is not cultural.; int1 & assump1 -> int2: either the shopwindow does not enter Chloroxylon or it is not lymphatic or both.; sent6 -> int3: something is not a Liberian.; int3 & sent5 -> int4: that the shopwindow does not enter Chloroxylon and/or is not lymphatic does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shopwindow is cultural.; int6 & sent2 -> int7: the dibucaine is an ana.; sent8 -> int8: the dibucaine is not a confirmation if it is an ana.; int7 & int8 -> hypothesis;
the dibucaine is a confirmation.
sent10 -> int9: if that the dibucaine is a Liberian is not wrong that the fact that it is both not an ana and not non-cultural is not wrong is not true.;
$hypothesis$ = the dibucaine is not a kind of a confirmation. ; $context$ = sent1: the shopwindow does enter Chloroxylon if something is not a kind of a Liberian. sent2: if the shopwindow is cultural that the dibucaine is not an ana does not hold. sent3: if the fact that the general is a foster-child but it is not impetiginous does not hold then the Perm is impetiginous. sent4: the Perm is a confirmation and/or it is non-Liberian. sent5: the fact that the shopwindow does not enter Chloroxylon and/or it is not lymphatic does not hold if something is non-Liberian. sent6: the Perm is not a Liberian. sent7: the dibucaine is Liberian if the Perm is not non-impetiginous and is not a kind of a Gula. sent8: if something is a kind of an ana the fact that it is not a confirmation is not false. sent9: if something is non-cultural then the fact that it either does not enter Chloroxylon or is not lymphatic or both is not incorrect. sent10: the fact that something is not an ana but it is not non-cultural is not right if it is a Liberian. ; $proof$ = 
sent9 -> int1: if the shopwindow is not cultural it does not enter Chloroxylon or is not lymphatic or both.; void -> assump1: Let's assume that the shopwindow is not cultural.; int1 & assump1 -> int2: either the shopwindow does not enter Chloroxylon or it is not lymphatic or both.; sent6 -> int3: something is not a Liberian.; int3 & sent5 -> int4: that the shopwindow does not enter Chloroxylon and/or is not lymphatic does not hold.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the shopwindow is cultural.; int6 & sent2 -> int7: the dibucaine is an ana.; sent8 -> int8: the dibucaine is not a confirmation if it is an ana.; int7 & int8 -> hypothesis; __PROVED__