the satiating does not occur.
sent1: the fact that the Sovietsness happens is correct. sent2: if that the non-Sovietsness and the galacticness happens is not correct then the publishableness does not occur. sent3: the non-publishableness leads to that the satiating occurs and the rubbishing command happens.
void -> assump1: Let's assume that both the non-Sovietsness and the galacticness occurs.; assump1 -> int1: the Sovietsness does not occur.; sent1 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the non-Sovietsness and the galacticness occurs is not right.; sent2 & int3 -> int4: the fact that the publishableness does not occur is not wrong.; sent3 & int4 -> int5: the satiating and the rubbishing command happens.; int5 -> hypothesis;
$hypothesis$ = the satiating does not occur. ; $context$ = sent1: the fact that the Sovietsness happens is correct. sent2: if that the non-Sovietsness and the galacticness happens is not correct then the publishableness does not occur. sent3: the non-publishableness leads to that the satiating occurs and the rubbishing command happens. ; $proof$ = 
void -> assump1: Let's assume that both the non-Sovietsness and the galacticness occurs.; assump1 -> int1: the Sovietsness does not occur.; sent1 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the non-Sovietsness and the galacticness occurs is not right.; sent2 & int3 -> int4: the fact that the publishableness does not occur is not wrong.; sent3 & int4 -> int5: the satiating and the rubbishing command happens.; int5 -> hypothesis; __DISPROVED__