if that the placement occurs hold the intertribalness occurs.
sent1: if that that the bowing Gibson occurs and the organismalness occurs is correct is false then the boldness does not occur. sent2: if the normotensiveness happens then the criticizing Mande happens. sent3: that the placement but not the boldness happens brings about that the intertribalness occurs. sent4: if the carunculateness does not occur then that the bowing Gibson occurs and the organismalness occurs is not true. sent5: the carunculateness does not occur but the normotensiveness happens.
sent5 -> int1: the carunculateness does not occur.; int1 & sent4 -> int2: the fact that the bowing Gibson and the organismalness occurs does not hold.; int2 & sent1 -> int3: the boldness does not occur.; void -> assump1: Let's assume that the placement happens.; int3 & assump1 -> int4: the placement and the non-boldness happens.; int4 & sent3 -> int5: the intertribalness occurs.; [assump1] & int5 -> hypothesis;
the criticizing Mande but not the confluence happens.
$hypothesis$ = if that the placement occurs hold the intertribalness occurs. ; $context$ = sent1: if that that the bowing Gibson occurs and the organismalness occurs is correct is false then the boldness does not occur. sent2: if the normotensiveness happens then the criticizing Mande happens. sent3: that the placement but not the boldness happens brings about that the intertribalness occurs. sent4: if the carunculateness does not occur then that the bowing Gibson occurs and the organismalness occurs is not true. sent5: the carunculateness does not occur but the normotensiveness happens. ; $proof$ = 
sent5 -> int1: the carunculateness does not occur.; int1 & sent4 -> int2: the fact that the bowing Gibson and the organismalness occurs does not hold.; int2 & sent1 -> int3: the boldness does not occur.; void -> assump1: Let's assume that the placement happens.; int3 & assump1 -> int4: the placement and the non-boldness happens.; int4 & sent3 -> int5: the intertribalness occurs.; [assump1] & int5 -> hypothesis; __PROVED__