the falling Shannon happens and the agape happens.
sent1: if the higherness happens then the agape happens. sent2: the darts occurs and the interruption does not occur. sent3: the redecorating baya does not occur and the tincturing gauze does not occur. sent4: the redecorating baya does not occur. sent5: if the darts occurs and the interruption does not occur then the higherness happens. sent6: that the redecorating baya does not occur and the tincturing gauze does not occur causes that the falling Shannon occurs.
sent5 & sent2 -> int1: the higherness happens.; int1 & sent1 -> int2: the agape occurs.; sent6 & sent3 -> int3: the falling Shannon happens.; int2 & int3 -> hypothesis;
$hypothesis$ = the falling Shannon happens and the agape happens. ; $context$ = sent1: if the higherness happens then the agape happens. sent2: the darts occurs and the interruption does not occur. sent3: the redecorating baya does not occur and the tincturing gauze does not occur. sent4: the redecorating baya does not occur. sent5: if the darts occurs and the interruption does not occur then the higherness happens. sent6: that the redecorating baya does not occur and the tincturing gauze does not occur causes that the falling Shannon occurs. ; $proof$ = 
sent5 & sent2 -> int1: the higherness happens.; int1 & sent1 -> int2: the agape occurs.; sent6 & sent3 -> int3: the falling Shannon happens.; int2 & int3 -> hypothesis; __PROVED__