the reversal results in that the promising alpinist happens.
sent1: the fact that if the bedding occurs the promising alpinist occurs is not incorrect. sent2: the promising stagecraft and the awkwardness happens. sent3: that the awkwardness does not occur results in that the Romanizing happens and the promising stagecraft occurs. sent4: if the awkwardness happens then the Germanness happens. sent5: if the Germanness occurs but the bedding does not occur then the war happens.
void -> assump2: Let's assume that the reversal happens.; sent2 -> int1: the awkwardness happens.; sent4 & int1 -> int2: the German occurs.; void -> assump1: Let's assume that the bedding does not occur.; int2 & assump1 -> int3: the Germanness happens but the bed does not occur.; sent5 & int3 -> int4: the warring occurs.;
the Romanizing occurs.
$hypothesis$ = the reversal results in that the promising alpinist happens. ; $context$ = sent1: the fact that if the bedding occurs the promising alpinist occurs is not incorrect. sent2: the promising stagecraft and the awkwardness happens. sent3: that the awkwardness does not occur results in that the Romanizing happens and the promising stagecraft occurs. sent4: if the awkwardness happens then the Germanness happens. sent5: if the Germanness occurs but the bedding does not occur then the war happens. ; $proof$ = 
void -> assump2: Let's assume that the reversal happens.; sent2 -> int1: the awkwardness happens.; sent4 & int1 -> int2: the German occurs.; void -> assump1: Let's assume that the bedding does not occur.; int2 & assump1 -> int3: the Germanness happens but the bed does not occur.; sent5 & int3 -> int4: the warring occurs.; __UNKNOWN__