there is something such that if it does not expire Babar and is not a Wister then it is a nomad.
sent1: the patzer is a kind of a nomad if it does not expire Babar and is not a Wister. sent2: if the patzer is not a kind of a nomad and it is not Theban it accretes trio.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does not expire Babar and is not a Wister then it is a nomad. ; $context$ = sent1: the patzer is a kind of a nomad if it does not expire Babar and is not a Wister. sent2: if the patzer is not a kind of a nomad and it is not Theban it accretes trio. ; $proof$ = 
sent1 -> hypothesis; __PROVED__