there exists something such that if the fact that it is both intralobular and not dermal is incorrect then it is a wallet.
sent1: if something smashes Karachi then it smashes collection. sent2: if the fact that something is intralobular but it is not dermal does not hold then it is a wallet. sent3: if the fact that the Polynesian is a kind of a parachutist and does not reign palmistry is false it is a wallet.
sent2 -> int1: if the fact that the Polynesian is intralobular and is not dermal is not true then it is a wallet.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is both intralobular and not dermal is incorrect then it is a wallet. ; $context$ = sent1: if something smashes Karachi then it smashes collection. sent2: if the fact that something is intralobular but it is not dermal does not hold then it is a wallet. sent3: if the fact that the Polynesian is a kind of a parachutist and does not reign palmistry is false it is a wallet. ; $proof$ = 
sent2 -> int1: if the fact that the Polynesian is intralobular and is not dermal is not true then it is a wallet.; int1 -> hypothesis; __PROVED__