that the circumnavigation does not occur is prevented by that the busking happens.
sent1: the fellating occurs. sent2: the Arthurianness brings about that the tribute occurs. sent3: the documentariness happens. sent4: the tweaking happens. sent5: if the multiplying placebo occurs then the patronaging Verbenaceae occurs. sent6: the Prussian happens. sent7: the DINK occurs. sent8: that the distinctness occurs is caused by the busking. sent9: the overtness occurs.
void -> assump1: Let's assume that the busking occurs.; sent8 & assump1 -> int1: the distinctness occurs.;
$hypothesis$ = that the circumnavigation does not occur is prevented by that the busking happens. ; $context$ = sent1: the fellating occurs. sent2: the Arthurianness brings about that the tribute occurs. sent3: the documentariness happens. sent4: the tweaking happens. sent5: if the multiplying placebo occurs then the patronaging Verbenaceae occurs. sent6: the Prussian happens. sent7: the DINK occurs. sent8: that the distinctness occurs is caused by the busking. sent9: the overtness occurs. ; $proof$ = 
void -> assump1: Let's assume that the busking occurs.; sent8 & assump1 -> int1: the distinctness occurs.; __UNKNOWN__