if the flotation happens the fact that the non-cathedralness and the terrestrialness occurs is not correct.
sent1: the flotation brings about that the manipulation occurs. sent2: the cathedral does not occur but the terrestrialness happens if the flotation occurs. sent3: if the aftercare happens then that the cathedralness and the terrestrialness occurs is not true. sent4: if the flotation occurs then the fact that the cathedralness and the terrestrialness happens does not hold. sent5: if the aftercare happens the fact that the cathedral does not occur but the terrestrialness occurs is false. sent6: if the manipulation occurs the fact that the aftercare occurs is not wrong.
void -> assump1: Let's assume that the flotation happens.; sent1 & assump1 -> int1: the manipulation happens.; sent6 & int1 -> int2: that the aftercare occurs is true.; sent5 & int2 -> int3: that not the cathedralness but the terrestrialness happens does not hold.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the flotation happens the fact that the non-cathedralness and the terrestrialness occurs is not correct. ; $context$ = sent1: the flotation brings about that the manipulation occurs. sent2: the cathedral does not occur but the terrestrialness happens if the flotation occurs. sent3: if the aftercare happens then that the cathedralness and the terrestrialness occurs is not true. sent4: if the flotation occurs then the fact that the cathedralness and the terrestrialness happens does not hold. sent5: if the aftercare happens the fact that the cathedral does not occur but the terrestrialness occurs is false. sent6: if the manipulation occurs the fact that the aftercare occurs is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the flotation happens.; sent1 & assump1 -> int1: the manipulation happens.; sent6 & int1 -> int2: that the aftercare occurs is true.; sent5 & int2 -> int3: that not the cathedralness but the terrestrialness happens does not hold.; [assump1] & int3 -> hypothesis; __PROVED__