the fact that if the socialness does not occur then the fact that the angelicness happens and the overreaching flotsam happens is false is not right.
sent1: the fact that the angelicness does not occur but the overreaching flotsam occurs is not true if the overreaching criminal occurs. sent2: the angelicness happens if the fact that the angelicnessness and the overreaching flotsam occurs is not right. sent3: both the angelicness and the overreaching flotsam occurs. sent4: if the leakiness does not occur then the angelicness occurs and the overreaching flotsam happens. sent5: if the shunning stinker does not occur the militariness and the quizzing occurs. sent6: that both the overreaching copartner and the quoting occurs is incorrect if the notching does not occur. sent7: that the angelicness and the overreaching flotsam occurs is incorrect if the leakiness does not occur. sent8: if the non-leakyness and the socialness happens that the overreaching Sacramento does not occur hold. sent9: the military results in the overreaching criminal. sent10: that the leakiness happens prevents the unsocialness. sent11: the fact that the bitch does not occur is not false. sent12: if the socialness does not occur then the angelicness occurs and the overreaching flotsam occurs.
void -> assump1: Let's assume that the leakiness occurs.; sent10 & assump1 -> int1: the socialness occurs.; void -> assump2: Let's assume that the socialness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the leakiness does not occur.; int3 & sent7 -> int4: the fact that the angelicness happens and the overreaching flotsam happens is not right.; [assump2] & int4 -> hypothesis;
the overreaching Sacramento does not occur.
$hypothesis$ = the fact that if the socialness does not occur then the fact that the angelicness happens and the overreaching flotsam happens is false is not right. ; $context$ = sent1: the fact that the angelicness does not occur but the overreaching flotsam occurs is not true if the overreaching criminal occurs. sent2: the angelicness happens if the fact that the angelicnessness and the overreaching flotsam occurs is not right. sent3: both the angelicness and the overreaching flotsam occurs. sent4: if the leakiness does not occur then the angelicness occurs and the overreaching flotsam happens. sent5: if the shunning stinker does not occur the militariness and the quizzing occurs. sent6: that both the overreaching copartner and the quoting occurs is incorrect if the notching does not occur. sent7: that the angelicness and the overreaching flotsam occurs is incorrect if the leakiness does not occur. sent8: if the non-leakyness and the socialness happens that the overreaching Sacramento does not occur hold. sent9: the military results in the overreaching criminal. sent10: that the leakiness happens prevents the unsocialness. sent11: the fact that the bitch does not occur is not false. sent12: if the socialness does not occur then the angelicness occurs and the overreaching flotsam occurs. ; $proof$ = 
void -> assump1: Let's assume that the leakiness occurs.; sent10 & assump1 -> int1: the socialness occurs.; void -> assump2: Let's assume that the socialness does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the leakiness does not occur.; int3 & sent7 -> int4: the fact that the angelicness happens and the overreaching flotsam happens is not right.; [assump2] & int4 -> hypothesis; __DISPROVED__