the poetess is holy.
sent1: the fact that if the schizocarp is multiple-choice the poetess is holy hold. sent2: the schizocarp is multiple-choice if the sandwort is a Ingrian. sent3: if that the sandwort is not holy but it is multiple-choice is wrong the poetess is not holy. sent4: that the sandwort is a Ingrian is correct. sent5: if a non-multiple-choice thing is not holy then it is a kind of a Ingrian. sent6: if something is a hillbilly it is not multiple-choice and is not holy. sent7: something is a hillbilly if it is not non-Ephesian.
sent2 & sent4 -> int1: the schizocarp is multiple-choice.; int1 & sent1 -> hypothesis;
the poetess is not holy.
$hypothesis$ = the poetess is holy. ; $context$ = sent1: the fact that if the schizocarp is multiple-choice the poetess is holy hold. sent2: the schizocarp is multiple-choice if the sandwort is a Ingrian. sent3: if that the sandwort is not holy but it is multiple-choice is wrong the poetess is not holy. sent4: that the sandwort is a Ingrian is correct. sent5: if a non-multiple-choice thing is not holy then it is a kind of a Ingrian. sent6: if something is a hillbilly it is not multiple-choice and is not holy. sent7: something is a hillbilly if it is not non-Ephesian. ; $proof$ = 
sent2 & sent4 -> int1: the schizocarp is multiple-choice.; int1 & sent1 -> hypothesis; __PROVED__