if the inserting piquet happens then the inserting eclipse does not occur but the enthusiasticness occurs.
sent1: if that the camping does not occur and the inserting dead does not occur does not hold the demolition does not occur. sent2: the inserting Benzedrine occurs. sent3: if that the objectification does not occur and the mercantilism does not occur is wrong then the inserting eclipse does not occur. sent4: if the objectification occurs the postdiluvianness does not occur and the synchronicness does not occur. sent5: the fact that the objectification does not occur and the mercantilism does not occur is not true if the scintillation does not occur. sent6: both the inserting Benzedrine and the enthusiasticness occurs. sent7: the hyping lanternfish does not occur if that the inserting piquet but not the scintillation occurs is incorrect.
void -> assump1: Let's assume that the synchronicness does not occur and the inserting piquet does not occur.; assump1 -> int1: the inserting piquet does not occur.; void -> assump2: Let's assume that the inserting piquet happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the synchronicness does not occur and the inserting piquet does not occur is wrong.; sent6 -> int4: the enthusiasticness happens.;
the postdiluvian does not occur and the hyping lanternfish does not occur.
$hypothesis$ = if the inserting piquet happens then the inserting eclipse does not occur but the enthusiasticness occurs. ; $context$ = sent1: if that the camping does not occur and the inserting dead does not occur does not hold the demolition does not occur. sent2: the inserting Benzedrine occurs. sent3: if that the objectification does not occur and the mercantilism does not occur is wrong then the inserting eclipse does not occur. sent4: if the objectification occurs the postdiluvianness does not occur and the synchronicness does not occur. sent5: the fact that the objectification does not occur and the mercantilism does not occur is not true if the scintillation does not occur. sent6: both the inserting Benzedrine and the enthusiasticness occurs. sent7: the hyping lanternfish does not occur if that the inserting piquet but not the scintillation occurs is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the synchronicness does not occur and the inserting piquet does not occur.; assump1 -> int1: the inserting piquet does not occur.; void -> assump2: Let's assume that the inserting piquet happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the synchronicness does not occur and the inserting piquet does not occur is wrong.; sent6 -> int4: the enthusiasticness happens.; __UNKNOWN__