if the tenderfoot is not natal then that the harem shocks but it is not endemic is not false.
sent1: if something is not natal it does not conclude. sent2: if the tenderfoot is not a kind of a drawers but it concludes it does misbelieve. sent3: if something is not natal then it is not a kind of a drawers and does not conclude. sent4: the harem does shock if the tenderfoot does misbelieve. sent5: the harem is a shock but it is not endemic if the tenderfoot does misbelieve. sent6: the harem is both a shock and endemic. sent7: if the tenderfoot is not natal then the harem is a shock. sent8: the tenderfoot does not conclude if it is not natal. sent9: the harem shocks. sent10: the harem is a shock and it is a kind of an endemic if the tenderfoot is not natal. sent11: if the tenderfoot is not a kind of an endemic and does not misbelieve then it does shock. sent12: the harem does shock and it is an endemic if the tenderfoot does misbelieve. sent13: the fact that something misbelieves hold if it is not a drawers and does conclude.
sent3 -> int1: if the tenderfoot is not natal it is not a kind of a drawers and does not conclude.; void -> assump1: Let's assume that the tenderfoot is not natal.; int1 & assump1 -> int2: the tenderfoot is not a kind of a drawers and does not conclude.;
$hypothesis$ = if the tenderfoot is not natal then that the harem shocks but it is not endemic is not false. ; $context$ = sent1: if something is not natal it does not conclude. sent2: if the tenderfoot is not a kind of a drawers but it concludes it does misbelieve. sent3: if something is not natal then it is not a kind of a drawers and does not conclude. sent4: the harem does shock if the tenderfoot does misbelieve. sent5: the harem is a shock but it is not endemic if the tenderfoot does misbelieve. sent6: the harem is both a shock and endemic. sent7: if the tenderfoot is not natal then the harem is a shock. sent8: the tenderfoot does not conclude if it is not natal. sent9: the harem shocks. sent10: the harem is a shock and it is a kind of an endemic if the tenderfoot is not natal. sent11: if the tenderfoot is not a kind of an endemic and does not misbelieve then it does shock. sent12: the harem does shock and it is an endemic if the tenderfoot does misbelieve. sent13: the fact that something misbelieves hold if it is not a drawers and does conclude. ; $proof$ = 
sent3 -> int1: if the tenderfoot is not natal it is not a kind of a drawers and does not conclude.; void -> assump1: Let's assume that the tenderfoot is not natal.; int1 & assump1 -> int2: the tenderfoot is not a kind of a drawers and does not conclude.; __UNKNOWN__