the fact that if the fact that the busker does slice going is not false that the bimbo is both a menace and not a configuration is right does not hold.
sent1: the bimbo does menace and it is a configuration. sent2: if the busker does menace the bimbo is a kind of a menace. sent3: the bimbo menaces and it is a configuration if the busker does slice going. sent4: if the busker is a menace the bimbo is a menace that is a configuration. sent5: if the busker does slice going the bimbo menaces. sent6: if the busker does menace the bimbo menace but it is not a configuration. sent7: the bimbo does menace. sent8: the fact that the busker is a menace hold if it does slice going.
void -> assump1: Let's assume that the busker does slice going.; sent8 & assump1 -> int1: that the busker does menace hold.; sent6 & int1 -> int2: the bimbo is a menace and is not a kind of a configuration.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that if the fact that the busker does slice going is not false that the bimbo is both a menace and not a configuration is right does not hold. ; $context$ = sent1: the bimbo does menace and it is a configuration. sent2: if the busker does menace the bimbo is a kind of a menace. sent3: the bimbo menaces and it is a configuration if the busker does slice going. sent4: if the busker is a menace the bimbo is a menace that is a configuration. sent5: if the busker does slice going the bimbo menaces. sent6: if the busker does menace the bimbo menace but it is not a configuration. sent7: the bimbo does menace. sent8: the fact that the busker is a menace hold if it does slice going. ; $proof$ = 
void -> assump1: Let's assume that the busker does slice going.; sent8 & assump1 -> int1: that the busker does menace hold.; sent6 & int1 -> int2: the bimbo is a menace and is not a kind of a configuration.; [assump1] & int2 -> hypothesis; __DISPROVED__