that if that the originalness happens hold then the unbuttoning Litocranius does not occur is not right.
sent1: if the censoring occurs then the sighting happens. sent2: if the opening Lindsay does not occur and the referencing does not occur then the censoring occurs. sent3: that the originalness happens triggers that the opening Lindsay does not occur and the referencing does not occur. sent4: the perpetration and the indecency happens. sent5: the unbuttoning Litocranius does not occur if the unbuttoning part-timer and the sighting occurs. sent6: if the perpetration occurs then the fact that the unbuttoning part-timer occurs is right.
void -> assump1: Let's assume that the originalness happens.; sent3 & assump1 -> int1: the opening Lindsay does not occur and the referencing does not occur.; int1 & sent2 -> int2: the censoring happens.; int2 & sent1 -> int3: the sighting happens.; sent4 -> int4: that the perpetration occurs is not false.; sent6 & int4 -> int5: the unbuttoning part-timer occurs.; int3 & int5 -> int6: the unbuttoning part-timer occurs and the sighting occurs.; int6 & sent5 -> int7: the unbuttoning Litocranius does not occur.; [assump1] & int7 -> hypothesis;
$hypothesis$ = that if that the originalness happens hold then the unbuttoning Litocranius does not occur is not right. ; $context$ = sent1: if the censoring occurs then the sighting happens. sent2: if the opening Lindsay does not occur and the referencing does not occur then the censoring occurs. sent3: that the originalness happens triggers that the opening Lindsay does not occur and the referencing does not occur. sent4: the perpetration and the indecency happens. sent5: the unbuttoning Litocranius does not occur if the unbuttoning part-timer and the sighting occurs. sent6: if the perpetration occurs then the fact that the unbuttoning part-timer occurs is right. ; $proof$ = 
void -> assump1: Let's assume that the originalness happens.; sent3 & assump1 -> int1: the opening Lindsay does not occur and the referencing does not occur.; int1 & sent2 -> int2: the censoring happens.; int2 & sent1 -> int3: the sighting happens.; sent4 -> int4: that the perpetration occurs is not false.; sent6 & int4 -> int5: the unbuttoning part-timer occurs.; int3 & int5 -> int6: the unbuttoning part-timer occurs and the sighting occurs.; int6 & sent5 -> int7: the unbuttoning Litocranius does not occur.; [assump1] & int7 -> hypothesis; __DISPROVED__