that the P.A. is not an immortal is not false.
sent1: if the dodder is not a pin-up that the P.A. is a Prima but it is not a pin-up is not correct. sent2: if the fact that the dodder is adenoidal is not false the fact that the Croesus is not a kind of a pin-up is not wrong. sent3: if the fact that the Croesus is not adenoidal but it is amenorrheic does not hold the dodder is not a pin-up. sent4: that the dodder is not amenorrheic hold. sent5: something is not immortal if the fact that it is a kind of a Prima and it is not a pin-up is not right. sent6: the fact that the P.A. is both a Mande and a impressiveness is not true. sent7: the P.A. is not adenoidal. sent8: if that the P.A. is not amenorrheic but it is a pin-up does not hold that the Croesus is not adenoidal hold. sent9: the P.A. is not amenorrheic if it is not a May. sent10: that the Croesus is non-adenoidal thing that is amenorrheic is not right. sent11: something is not adenoidal if that it is an immortal and it is not a pin-up is not correct. sent12: if the P.A. is not a Prima it is not an immortal.
sent3 & sent10 -> int1: the dodder is not a kind of a pin-up.; int1 & sent1 -> int2: that the P.A. is a Prima but it is not a kind of a pin-up does not hold.; sent5 -> int3: if that the P.A. is a Prima and is not a kind of a pin-up is not right it is not immortal.; int2 & int3 -> hypothesis;
$hypothesis$ = that the P.A. is not an immortal is not false. ; $context$ = sent1: if the dodder is not a pin-up that the P.A. is a Prima but it is not a pin-up is not correct. sent2: if the fact that the dodder is adenoidal is not false the fact that the Croesus is not a kind of a pin-up is not wrong. sent3: if the fact that the Croesus is not adenoidal but it is amenorrheic does not hold the dodder is not a pin-up. sent4: that the dodder is not amenorrheic hold. sent5: something is not immortal if the fact that it is a kind of a Prima and it is not a pin-up is not right. sent6: the fact that the P.A. is both a Mande and a impressiveness is not true. sent7: the P.A. is not adenoidal. sent8: if that the P.A. is not amenorrheic but it is a pin-up does not hold that the Croesus is not adenoidal hold. sent9: the P.A. is not amenorrheic if it is not a May. sent10: that the Croesus is non-adenoidal thing that is amenorrheic is not right. sent11: something is not adenoidal if that it is an immortal and it is not a pin-up is not correct. sent12: if the P.A. is not a Prima it is not an immortal. ; $proof$ = 
sent3 & sent10 -> int1: the dodder is not a kind of a pin-up.; int1 & sent1 -> int2: that the P.A. is a Prima but it is not a kind of a pin-up does not hold.; sent5 -> int3: if that the P.A. is a Prima and is not a kind of a pin-up is not right it is not immortal.; int2 & int3 -> hypothesis; __PROVED__