the matrimony happens if the simpleness happens.
sent1: that the instructing does not occur prevents that the matrimony does not occur. sent2: the undercharging does not occur. sent3: the undercharge occurs and/or the resecting reel does not occur. sent4: the rectalness does not occur. sent5: that the untuning medusa does not occur is true if that both the poeticness and the untuning medusa occurs is not correct. sent6: that the poeticness does not occur prevents the undercharging. sent7: that the undercharging occurs or the resecting reel does not occur or both is false if the poeticness does not occur. sent8: the nephrotomy does not occur. sent9: both the royalism and the untuning Halloween happens.
void -> assump1: Let's assume that the poeticness does not occur.; sent7 & assump1 -> int1: that the undercharge occurs and/or the resecting reel does not occur is wrong.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the poeticness occurs.; void -> assump2: Let's assume that the simple happens.; int3 & assump2 -> int4: the poeticness occurs and the simple occurs.;
the untuning medusa does not occur.
$hypothesis$ = the matrimony happens if the simpleness happens. ; $context$ = sent1: that the instructing does not occur prevents that the matrimony does not occur. sent2: the undercharging does not occur. sent3: the undercharge occurs and/or the resecting reel does not occur. sent4: the rectalness does not occur. sent5: that the untuning medusa does not occur is true if that both the poeticness and the untuning medusa occurs is not correct. sent6: that the poeticness does not occur prevents the undercharging. sent7: that the undercharging occurs or the resecting reel does not occur or both is false if the poeticness does not occur. sent8: the nephrotomy does not occur. sent9: both the royalism and the untuning Halloween happens. ; $proof$ = 
void -> assump1: Let's assume that the poeticness does not occur.; sent7 & assump1 -> int1: that the undercharge occurs and/or the resecting reel does not occur is wrong.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the poeticness occurs.; void -> assump2: Let's assume that the simple happens.; int3 & assump2 -> int4: the poeticness occurs and the simple occurs.; __UNKNOWN__