if the strangulating sparkling does not occur the rhetoricalness does not occur.
sent1: if the strangulating arachnoid does not occur that the commissioning does not occur is not false. sent2: if the strangulating sparkling does not occur then the rhetoricalness occurs. sent3: if the philatelicness does not occur then the enactment does not occur. sent4: the strangulating toiletry does not occur. sent5: that the strangulating sparkling does not occur is prevented by the rockslide. sent6: the rhetoricalness happens. sent7: that the rockslide does not occur triggers the rhetoricalness.
void -> assump2: Let's assume that the rockslide occurs.; sent5 & assump2 -> int1: the strangulating sparkling happens.; void -> assump1: Let's assume that the strangulating sparkling does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the rockslide does not occur.;
$hypothesis$ = if the strangulating sparkling does not occur the rhetoricalness does not occur. ; $context$ = sent1: if the strangulating arachnoid does not occur that the commissioning does not occur is not false. sent2: if the strangulating sparkling does not occur then the rhetoricalness occurs. sent3: if the philatelicness does not occur then the enactment does not occur. sent4: the strangulating toiletry does not occur. sent5: that the strangulating sparkling does not occur is prevented by the rockslide. sent6: the rhetoricalness happens. sent7: that the rockslide does not occur triggers the rhetoricalness. ; $proof$ = 
void -> assump2: Let's assume that the rockslide occurs.; sent5 & assump2 -> int1: the strangulating sparkling happens.; void -> assump1: Let's assume that the strangulating sparkling does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the rockslide does not occur.; __UNKNOWN__