if the lettering Titus does not occur then the intergalacticness does not occur.
sent1: the lettering Titus happens if the intergalacticness happens. sent2: the lettering Voltaire is prevented by that the logging kola occurs.
void -> assump1: Let's assume that the intergalacticness happens.; sent1 & assump1 -> int1: the lettering Titus occurs.; void -> assump2: Let's assume that the lettering Titus does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the intergalacticness does not occur.; [assump2] & int3 -> hypothesis;
$hypothesis$ = if the lettering Titus does not occur then the intergalacticness does not occur. ; $context$ = sent1: the lettering Titus happens if the intergalacticness happens. sent2: the lettering Voltaire is prevented by that the logging kola occurs. ; $proof$ = 
void -> assump1: Let's assume that the intergalacticness happens.; sent1 & assump1 -> int1: the lettering Titus occurs.; void -> assump2: Let's assume that the lettering Titus does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the intergalacticness does not occur.; [assump2] & int3 -> hypothesis; __PROVED__