if the switcheroo happens then the canonicness does not occur but the tincturing mefloquine occurs.
sent1: if the hauling does not occur the fact that the mastoidectomy happens is not false. sent2: both the intumescing and the fetish happens. sent3: that the switcheroo does not occur is caused by that the tubercularness occurs or the canonicness occurs or both. sent4: if the tubercularness happens and/or the canonicness happens then the switcheroo happens. sent5: the pleomorphism does not occur but the jostle occurs. sent6: the hauling does not occur if both the intumescing and the fetish occurs. sent7: that the tincturing mefloquine and the mastoidectomy occurs is caused by that the hauling does not occur.
void -> assump1: Let's assume that the canonicness happens.; assump1 -> int1: the tubercularness occurs and/or the canonicness happens.; int1 & sent3 -> int2: the switcheroo does not occur.; void -> assump2: Let's assume that the switcheroo happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the canonicness does not occur is not incorrect.; sent6 & sent2 -> int5: the hauling does not occur.; sent7 & int5 -> int6: both the tincturing mefloquine and the mastoidectomy occurs.; int6 -> int7: the tincturing mefloquine occurs.; int4 & int7 -> int8: not the canonicness but the tincturing mefloquine happens.; [assump2] & int8 -> hypothesis;
$hypothesis$ = if the switcheroo happens then the canonicness does not occur but the tincturing mefloquine occurs. ; $context$ = sent1: if the hauling does not occur the fact that the mastoidectomy happens is not false. sent2: both the intumescing and the fetish happens. sent3: that the switcheroo does not occur is caused by that the tubercularness occurs or the canonicness occurs or both. sent4: if the tubercularness happens and/or the canonicness happens then the switcheroo happens. sent5: the pleomorphism does not occur but the jostle occurs. sent6: the hauling does not occur if both the intumescing and the fetish occurs. sent7: that the tincturing mefloquine and the mastoidectomy occurs is caused by that the hauling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the canonicness happens.; assump1 -> int1: the tubercularness occurs and/or the canonicness happens.; int1 & sent3 -> int2: the switcheroo does not occur.; void -> assump2: Let's assume that the switcheroo happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the canonicness does not occur is not incorrect.; sent6 & sent2 -> int5: the hauling does not occur.; sent7 & int5 -> int6: both the tincturing mefloquine and the mastoidectomy occurs.; int6 -> int7: the tincturing mefloquine occurs.; int4 & int7 -> int8: not the canonicness but the tincturing mefloquine happens.; [assump2] & int8 -> hypothesis; __PROVED__