that that the obscenity happens yields that the rally but not the vaginismus happens is not true.
sent1: both the plum and the propulsiveness occurs. sent2: that the propulsiveness and the obscenity happens causes that the vaginismus does not occur. sent3: the perpetuating story happens if the acinarness happens. sent4: the agonadalness occurs if the wheedling occurs. sent5: the coastalness does not occur. sent6: the acinarness happens and the scrotalness happens. sent7: the rallying happens if the perpetuating story happens.
sent1 -> int1: the propulsiveness occurs.; void -> assump1: Let's assume that that the obscenity occurs is true.; int1 & assump1 -> int2: the propulsiveness and the obscenity happens.; int2 & sent2 -> int3: the vaginismus does not occur.; sent6 -> int4: the acinarness occurs.; sent3 & int4 -> int5: the perpetuating story occurs.; sent7 & int5 -> int6: the rally occurs.; int3 & int6 -> int7: the fact that the rally happens but the vaginismus does not occur is not false.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that that the obscenity happens yields that the rally but not the vaginismus happens is not true. ; $context$ = sent1: both the plum and the propulsiveness occurs. sent2: that the propulsiveness and the obscenity happens causes that the vaginismus does not occur. sent3: the perpetuating story happens if the acinarness happens. sent4: the agonadalness occurs if the wheedling occurs. sent5: the coastalness does not occur. sent6: the acinarness happens and the scrotalness happens. sent7: the rallying happens if the perpetuating story happens. ; $proof$ = 
sent1 -> int1: the propulsiveness occurs.; void -> assump1: Let's assume that that the obscenity occurs is true.; int1 & assump1 -> int2: the propulsiveness and the obscenity happens.; int2 & sent2 -> int3: the vaginismus does not occur.; sent6 -> int4: the acinarness occurs.; sent3 & int4 -> int5: the perpetuating story occurs.; sent7 & int5 -> int6: the rally occurs.; int3 & int6 -> int7: the fact that the rally happens but the vaginismus does not occur is not false.; [assump1] & int7 -> hypothesis; __DISPROVED__