there exists something such that if it is a kind of a pop-up then it is both not painless and not a looseness.
sent1: something is a kind of non-painless thing that is not a looseness if it is a pop-up. sent2: if something does clear Tangier then it does not bonnet tropic and is not azonal.
sent1 -> int1: the fact that if the recorder is the pop-up then the recorder is not painless and is not a kind of a looseness is not false.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a pop-up then it is both not painless and not a looseness. ; $context$ = sent1: something is a kind of non-painless thing that is not a looseness if it is a pop-up. sent2: if something does clear Tangier then it does not bonnet tropic and is not azonal. ; $proof$ = 
sent1 -> int1: the fact that if the recorder is the pop-up then the recorder is not painless and is not a kind of a looseness is not false.; int1 -> hypothesis; __PROVED__