if the prismaticness does not occur then the julienning Bridgetown does not occur.
sent1: that the disguising hike does not occur is caused by that the rallying does not occur. sent2: the fact that the superhumanness does not occur hold. sent3: the itching but not the flail happens. sent4: the itch occurs. sent5: the overhaul occurs if the barricading rye but not the clapping transsexual occurs. sent6: the nonhierarchicalness but not the annotation happens. sent7: the phallicness happens. sent8: the directorship happens and the ring-around-the-rosy does not occur. sent9: that the julienning Bridgetown does not occur is caused by that the directorship but not the prismaticness occurs.
sent8 -> int1: the directorship happens.; void -> assump1: Let's assume that the prismaticness does not occur.; int1 & assump1 -> int2: both the directorship and the non-prismaticness happens.; sent9 & int2 -> int3: the julienning Bridgetown does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the prismaticness does not occur then the julienning Bridgetown does not occur. ; $context$ = sent1: that the disguising hike does not occur is caused by that the rallying does not occur. sent2: the fact that the superhumanness does not occur hold. sent3: the itching but not the flail happens. sent4: the itch occurs. sent5: the overhaul occurs if the barricading rye but not the clapping transsexual occurs. sent6: the nonhierarchicalness but not the annotation happens. sent7: the phallicness happens. sent8: the directorship happens and the ring-around-the-rosy does not occur. sent9: that the julienning Bridgetown does not occur is caused by that the directorship but not the prismaticness occurs. ; $proof$ = 
sent8 -> int1: the directorship happens.; void -> assump1: Let's assume that the prismaticness does not occur.; int1 & assump1 -> int2: both the directorship and the non-prismaticness happens.; sent9 & int2 -> int3: the julienning Bridgetown does not occur.; [assump1] & int3 -> hypothesis; __PROVED__