the brisantness does not occur if the bleat happens.
sent1: the brisantness is prevented by that both the suggesting asana and the bleating happens. sent2: the non-brisantness is prevented by that the bleat happens. sent3: the banking categorem happens. sent4: the duet occurs if the impeding laurel-tree occurs. sent5: the collagenousness does not occur if the injuring occurs. sent6: both the vulpineness and the vision happens. sent7: the suggesting asana occurs. sent8: the perseverating service occurs.
void -> assump1: Let's assume that the fact that the bleat happens is correct.; sent7 & assump1 -> int1: the fact that both the suggesting asana and the bleating occurs hold.; sent1 & int1 -> int2: that the brisantness does not occur hold.; [assump1] & int2 -> hypothesis;
both the vision and the suggesting subcontinent occurs.
sent6 -> int3: the fact that the vision occurs is true.;
$hypothesis$ = the brisantness does not occur if the bleat happens. ; $context$ = sent1: the brisantness is prevented by that both the suggesting asana and the bleating happens. sent2: the non-brisantness is prevented by that the bleat happens. sent3: the banking categorem happens. sent4: the duet occurs if the impeding laurel-tree occurs. sent5: the collagenousness does not occur if the injuring occurs. sent6: both the vulpineness and the vision happens. sent7: the suggesting asana occurs. sent8: the perseverating service occurs. ; $proof$ = 
void -> assump1: Let's assume that the fact that the bleat happens is correct.; sent7 & assump1 -> int1: the fact that both the suggesting asana and the bleating occurs hold.; sent1 & int1 -> int2: that the brisantness does not occur hold.; [assump1] & int2 -> hypothesis; __PROVED__