that the provencalness does not occur and/or the jack-o'-lantern does not occur if the eightsome does not occur is incorrect.
sent1: if the tap occurs that both the undulation and the non-prostheticness occurs is not true. sent2: the axing F.I.S.C. and the provencalness happens if the rambling perfume does not occur. sent3: the jack-o'-lantern does not occur and the eightsome does not occur if the instructing Nazification does not occur. sent4: the eightsome happens if the rambling perfume occurs. sent5: if the fact that the undulation occurs and the prostheticness does not occur is not correct the instructing Nazification does not occur. sent6: that the jack-o'-lantern does not occur and the eightsome does not occur prevents the rambling perfume. sent7: if the provencalness happens then the rambling perfume occurs.
void -> assump1: Let's assume that the provencalness occurs.; sent7 & assump1 -> int1: the rambling perfume occurs.; sent4 & int1 -> int2: the fact that the eightsome occurs is correct.; void -> assump2: Let's assume that the eightsome does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the provencalness does not occur.; int4 -> int5: the provencalness does not occur and/or the jack-o'-lantern does not occur.; [assump2] & int5 -> hypothesis;
the axing F.I.S.C. occurs.
$hypothesis$ = that the provencalness does not occur and/or the jack-o'-lantern does not occur if the eightsome does not occur is incorrect. ; $context$ = sent1: if the tap occurs that both the undulation and the non-prostheticness occurs is not true. sent2: the axing F.I.S.C. and the provencalness happens if the rambling perfume does not occur. sent3: the jack-o'-lantern does not occur and the eightsome does not occur if the instructing Nazification does not occur. sent4: the eightsome happens if the rambling perfume occurs. sent5: if the fact that the undulation occurs and the prostheticness does not occur is not correct the instructing Nazification does not occur. sent6: that the jack-o'-lantern does not occur and the eightsome does not occur prevents the rambling perfume. sent7: if the provencalness happens then the rambling perfume occurs. ; $proof$ = 
void -> assump1: Let's assume that the provencalness occurs.; sent7 & assump1 -> int1: the rambling perfume occurs.; sent4 & int1 -> int2: the fact that the eightsome occurs is correct.; void -> assump2: Let's assume that the eightsome does not occur.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the provencalness does not occur.; int4 -> int5: the provencalness does not occur and/or the jack-o'-lantern does not occur.; [assump2] & int5 -> hypothesis; __DISPROVED__