the fact that that the newsreel happens is right if the recreationalness happens does not hold.
sent1: that the transparency does not occur and the recreationalness does not occur is triggered by that the newsreel does not occur.
void -> assump1: Let's assume that the newsreel does not occur.; sent1 & assump1 -> int1: the transparency does not occur and the recreationalness does not occur.; int1 -> int2: the recreationalness does not occur.; void -> assump2: Let's assume that the recreationalness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the newsreel occurs.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the fact that that the newsreel happens is right if the recreationalness happens does not hold. ; $context$ = sent1: that the transparency does not occur and the recreationalness does not occur is triggered by that the newsreel does not occur. ; $proof$ = 
void -> assump1: Let's assume that the newsreel does not occur.; sent1 & assump1 -> int1: the transparency does not occur and the recreationalness does not occur.; int1 -> int2: the recreationalness does not occur.; void -> assump2: Let's assume that the recreationalness happens.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the newsreel occurs.; [assump2] & int4 -> hypothesis; __DISPROVED__