that the accepting and the branching happens is false.
sent1: the fact that the cinematicness does not occur and the gust does not occur is not right. sent2: the branching occurs. sent3: if the fact that the cinematicness does not occur and the gust does not occur is false then the accepting occurs.
sent3 & sent1 -> int1: that the accepting happens is not wrong.; int1 & sent2 -> hypothesis;
$hypothesis$ = that the accepting and the branching happens is false. ; $context$ = sent1: the fact that the cinematicness does not occur and the gust does not occur is not right. sent2: the branching occurs. sent3: if the fact that the cinematicness does not occur and the gust does not occur is false then the accepting occurs. ; $proof$ = 
sent3 & sent1 -> int1: that the accepting happens is not wrong.; int1 & sent2 -> hypothesis; __DISPROVED__