that the sighting does not occur and the plundering does not occur is not true.
sent1: the emending fall occurs. sent2: if the mousiness does not occur the emending fall does not occur but the eversion happens. sent3: if either the sign or the sighting or both occurs the wake does not occur. sent4: that the plundering does not occur is not false. sent5: the sign does not occur if the wake happens. sent6: if the wake does not occur then the mousiness does not occur.
void -> assump1: Let's assume that the sighting happens.; assump1 -> int1: the sign happens and/or the sighting occurs.; int1 & sent3 -> int2: the wake does not occur.; int2 & sent6 -> int3: that the mousiness does not occur is true.; int3 & sent2 -> int4: the emending fall does not occur and the eversion occurs.; int4 -> int5: the emending fall does not occur.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sighting does not occur.; int7 & sent4 -> hypothesis;
the fact that the sighting does not occur and the plundering does not occur is not true.
$hypothesis$ = that the sighting does not occur and the plundering does not occur is not true. ; $context$ = sent1: the emending fall occurs. sent2: if the mousiness does not occur the emending fall does not occur but the eversion happens. sent3: if either the sign or the sighting or both occurs the wake does not occur. sent4: that the plundering does not occur is not false. sent5: the sign does not occur if the wake happens. sent6: if the wake does not occur then the mousiness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sighting happens.; assump1 -> int1: the sign happens and/or the sighting occurs.; int1 & sent3 -> int2: the wake does not occur.; int2 & sent6 -> int3: that the mousiness does not occur is true.; int3 & sent2 -> int4: the emending fall does not occur and the eversion occurs.; int4 -> int5: the emending fall does not occur.; int5 & sent1 -> int6: this is contradiction.; [assump1] & int6 -> int7: the sighting does not occur.; int7 & sent4 -> hypothesis; __DISPROVED__