that if the disarming happens that the joking occurs and the deflating subset does not occur is not false does not hold.
sent1: if the spiraling Domino happens then the liberalization does not occur but the deflating handloom happens. sent2: that the disarming does not occur and the nonarborealness does not occur is incorrect if the herbivorousness occurs. sent3: both the provincialness and the miming occurs if the liberalization does not occur. sent4: both the spiraling Domino and the reduction happens. sent5: if the provincial occurs either the going occurs or the acidoticness does not occur or both. sent6: the deflating subset is prevented by that the disarming occurs. sent7: the inhaling does not occur if the hooking lobotomy occurs. sent8: if that the herbivorousness does not occur hold the deflating subset does not occur. sent9: if the herbivorousness does not occur then the joke occurs and the deflating subset does not occur. sent10: the nonarborealness happens if the fact that the disarming does not occur and the nonarborealness does not occur is incorrect. sent11: the herbivorousness does not occur if the fact that the disarming occurs is correct. sent12: the deflating subset does not occur.
void -> assump1: Let's assume that the disarming occurs.; sent11 & assump1 -> int1: the herbivorousness does not occur.; sent9 & int1 -> int2: the joke occurs but the deflating subset does not occur.; [assump1] & int2 -> hypothesis;
the nonarborealness occurs.
sent4 -> int3: the spiraling Domino happens.; sent1 & int3 -> int4: not the liberalization but the deflating handloom happens.; int4 -> int5: the liberalization does not occur.; sent3 & int5 -> int6: both the provincialness and the miming occurs.; int6 -> int7: the provincialness occurs.; sent5 & int7 -> int8: the go occurs or the acidoticness does not occur or both.;
$hypothesis$ = that if the disarming happens that the joking occurs and the deflating subset does not occur is not false does not hold. ; $context$ = sent1: if the spiraling Domino happens then the liberalization does not occur but the deflating handloom happens. sent2: that the disarming does not occur and the nonarborealness does not occur is incorrect if the herbivorousness occurs. sent3: both the provincialness and the miming occurs if the liberalization does not occur. sent4: both the spiraling Domino and the reduction happens. sent5: if the provincial occurs either the going occurs or the acidoticness does not occur or both. sent6: the deflating subset is prevented by that the disarming occurs. sent7: the inhaling does not occur if the hooking lobotomy occurs. sent8: if that the herbivorousness does not occur hold the deflating subset does not occur. sent9: if the herbivorousness does not occur then the joke occurs and the deflating subset does not occur. sent10: the nonarborealness happens if the fact that the disarming does not occur and the nonarborealness does not occur is incorrect. sent11: the herbivorousness does not occur if the fact that the disarming occurs is correct. sent12: the deflating subset does not occur. ; $proof$ = 
void -> assump1: Let's assume that the disarming occurs.; sent11 & assump1 -> int1: the herbivorousness does not occur.; sent9 & int1 -> int2: the joke occurs but the deflating subset does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__