there is something such that if it camps and it does billow lepidomelane it is not a yakuza.
sent1: something that is a camp that billows lepidomelane is a yakuza. sent2: if something is a kind of a camp and it billows lepidomelane it is not a yakuza. sent3: the rocambole is a yakuza if it is a camp and it billows lepidomelane. sent4: there exists something such that if it is a kind of a camp that does billow lepidomelane it is a yakuza.
sent2 -> int1: the rocambole is not a yakuza if it camps and it does billow lepidomelane.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it camps and it does billow lepidomelane it is not a yakuza. ; $context$ = sent1: something that is a camp that billows lepidomelane is a yakuza. sent2: if something is a kind of a camp and it billows lepidomelane it is not a yakuza. sent3: the rocambole is a yakuza if it is a camp and it billows lepidomelane. sent4: there exists something such that if it is a kind of a camp that does billow lepidomelane it is a yakuza. ; $proof$ = 
sent2 -> int1: the rocambole is not a yakuza if it camps and it does billow lepidomelane.; int1 -> hypothesis; __PROVED__