the follow-up occurs if the throb happens.
sent1: that the command does not occur is caused by that both the debuting fingerpaint and the throb occurs. sent2: the furloughing Peabody does not occur and the tunneling Stylophorum occurs. sent3: that the follow-up happens is caused by that the command does not occur. sent4: that the tunneling Stylophorum happens leads to the debuting fingerpaint.
sent2 -> int1: the tunneling Stylophorum happens.; sent4 & int1 -> int2: the debuting fingerpaint occurs.; void -> assump1: Let's assume that the throb happens.; int2 & assump1 -> int3: the debuting fingerpaint and the throbbing happens.; sent1 & int3 -> int4: the commanding does not occur.; sent3 & int4 -> int5: the follow-up happens.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the follow-up occurs if the throb happens. ; $context$ = sent1: that the command does not occur is caused by that both the debuting fingerpaint and the throb occurs. sent2: the furloughing Peabody does not occur and the tunneling Stylophorum occurs. sent3: that the follow-up happens is caused by that the command does not occur. sent4: that the tunneling Stylophorum happens leads to the debuting fingerpaint. ; $proof$ = 
sent2 -> int1: the tunneling Stylophorum happens.; sent4 & int1 -> int2: the debuting fingerpaint occurs.; void -> assump1: Let's assume that the throb happens.; int2 & assump1 -> int3: the debuting fingerpaint and the throbbing happens.; sent1 & int3 -> int4: the commanding does not occur.; sent3 & int4 -> int5: the follow-up happens.; [assump1] & int5 -> hypothesis; __PROVED__