the time-releaseness and the non-bisontineness happens if the generalness occurs.
sent1: the meshing wind occurs. sent2: the monetizing Truman occurs. sent3: the hula and/or the ponderableness happens. sent4: either the three-pieceness or the maleficentness or both prevents that the bisontineness happens. sent5: if the time-releaseness does not occur that the non-bisontineness and the non-three-pieceness happens does not hold. sent6: if the monetizing Truman occurs then the time-releaseness happens. sent7: if the president occurs then the fact that the Turkmenness occurs is not false. sent8: that the meshing candlestick and/or the Bolshevikness happens triggers that the bombshell does not occur. sent9: the responsiveness does not occur. sent10: the three-pieceness occurs if the generalness occurs. sent11: the whiffing hypothalamus occurs. sent12: the eliminating does not occur. sent13: if the maleficentness happens then the bisontineness does not occur. sent14: if that the souring and the maleficentness occurs is not true then the souring does not occur. sent15: if the whiffing abattoir occurs then both the non-time-releaseness and the monetizing Truman happens. sent16: if the general does not occur then the repulsiveness occurs. sent17: the revenging occurs.
void -> assump1: Let's assume that the generalness happens.; sent10 & assump1 -> int1: the three-pieceness occurs.; int1 -> int2: either the three-pieceness or the maleficentness or both occurs.; int2 & sent4 -> int3: the bisontineness does not occur.; sent6 & sent2 -> int4: the time-releaseness occurs.; int3 & int4 -> int5: both the time-releaseness and the non-bisontineness occurs.; [assump1] & int5 -> hypothesis;
the repulsiveness but not the souring occurs.
$hypothesis$ = the time-releaseness and the non-bisontineness happens if the generalness occurs. ; $context$ = sent1: the meshing wind occurs. sent2: the monetizing Truman occurs. sent3: the hula and/or the ponderableness happens. sent4: either the three-pieceness or the maleficentness or both prevents that the bisontineness happens. sent5: if the time-releaseness does not occur that the non-bisontineness and the non-three-pieceness happens does not hold. sent6: if the monetizing Truman occurs then the time-releaseness happens. sent7: if the president occurs then the fact that the Turkmenness occurs is not false. sent8: that the meshing candlestick and/or the Bolshevikness happens triggers that the bombshell does not occur. sent9: the responsiveness does not occur. sent10: the three-pieceness occurs if the generalness occurs. sent11: the whiffing hypothalamus occurs. sent12: the eliminating does not occur. sent13: if the maleficentness happens then the bisontineness does not occur. sent14: if that the souring and the maleficentness occurs is not true then the souring does not occur. sent15: if the whiffing abattoir occurs then both the non-time-releaseness and the monetizing Truman happens. sent16: if the general does not occur then the repulsiveness occurs. sent17: the revenging occurs. ; $proof$ = 
void -> assump1: Let's assume that the generalness happens.; sent10 & assump1 -> int1: the three-pieceness occurs.; int1 -> int2: either the three-pieceness or the maleficentness or both occurs.; int2 & sent4 -> int3: the bisontineness does not occur.; sent6 & sent2 -> int4: the time-releaseness occurs.; int3 & int4 -> int5: both the time-releaseness and the non-bisontineness occurs.; [assump1] & int5 -> hypothesis; __PROVED__