if that the caesuralness happens is right both the non-Thoreauvianness and the bogging requisition occurs.
sent1: that the Thoreauvianness does not occur is not wrong if the coeducation and the caesuralness occurs. sent2: the coeducation occurs. sent3: the bogging requisition occurs and the bogging suzerain happens. sent4: the non-caesuralness yields that the emergency occurs and the coeducation happens.
void -> assump1: Let's assume that the caesuralness happens.; sent2 & assump1 -> int1: the coeducation and the caesuralness happens.; int1 & sent1 -> int2: that the Thoreauvianness does not occur is not incorrect.; sent3 -> int3: that the bogging requisition occurs is not incorrect.; int2 & int3 -> int4: not the Thoreauvianness but the bogging requisition occurs.; [assump1] & int4 -> hypothesis;
the emergency occurs.
$hypothesis$ = if that the caesuralness happens is right both the non-Thoreauvianness and the bogging requisition occurs. ; $context$ = sent1: that the Thoreauvianness does not occur is not wrong if the coeducation and the caesuralness occurs. sent2: the coeducation occurs. sent3: the bogging requisition occurs and the bogging suzerain happens. sent4: the non-caesuralness yields that the emergency occurs and the coeducation happens. ; $proof$ = 
void -> assump1: Let's assume that the caesuralness happens.; sent2 & assump1 -> int1: the coeducation and the caesuralness happens.; int1 & sent1 -> int2: that the Thoreauvianness does not occur is not incorrect.; sent3 -> int3: that the bogging requisition occurs is not incorrect.; int2 & int3 -> int4: not the Thoreauvianness but the bogging requisition occurs.; [assump1] & int4 -> hypothesis; __PROVED__