if the brachiating occurs then the buccalness happens.
sent1: the fact that the behooving occurs hold if not the absorbableness but the shingling happens. sent2: the lossiness occurs if the thundering occurs. sent3: the absorbableness does not occur and the shingling occurs if the organizing solicitorship does not occur. sent4: if not the thundering but the brachiating occurs the buccalness happens. sent5: the thunder does not occur. sent6: if the behooving occurs the buccalness does not occur.
void -> assump1: Let's assume that the brachiating happens.; sent5 & assump1 -> int1: the thunder does not occur but the brachiating occurs.; sent4 & int1 -> int2: the buccalness occurs.; [assump1] & int2 -> hypothesis;
the lossiness happens.
$hypothesis$ = if the brachiating occurs then the buccalness happens. ; $context$ = sent1: the fact that the behooving occurs hold if not the absorbableness but the shingling happens. sent2: the lossiness occurs if the thundering occurs. sent3: the absorbableness does not occur and the shingling occurs if the organizing solicitorship does not occur. sent4: if not the thundering but the brachiating occurs the buccalness happens. sent5: the thunder does not occur. sent6: if the behooving occurs the buccalness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the brachiating happens.; sent5 & assump1 -> int1: the thunder does not occur but the brachiating occurs.; sent4 & int1 -> int2: the buccalness occurs.; [assump1] & int2 -> hypothesis; __PROVED__