the diving occurs.
sent1: that the Donatist does not occur is brought about by that not the lightning but the assuming symbolist happens. sent2: either the residence does not occur or the Arawakanness does not occur or both. sent3: if the spending Lego does not occur the assuming cocuswood and/or the non-Europeanness happens. sent4: both the assuming symbolist and the congratulating inquest occurs. sent5: if the testifying decrescendo occurs the spending mutineer does not occur. sent6: that both the non-subordinatingness and the spending Lego happens is not correct. sent7: the congratulating inquest occurs. sent8: the fact that the assuming cocuswood does not occur and/or the Europeanness does not occur does not hold. sent9: if the spending Lego happens the fact that the diving but not the subordinating happens does not hold. sent10: if the Norwegian happens the diving happens. sent11: the illativeness occurs. sent12: if the spending Lego does not occur the assuming cocuswood does not occur and/or the Europeanness does not occur. sent13: the lightning does not occur if the fact that the subordinating does not occur and the spending Lego does not occur is not right.
void -> assump1: Let's assume that the subordinatingness does not occur and the spending Lego does not occur.; assump1 -> int1: the spending Lego does not occur.; int1 & sent12 -> int2: the assuming cocuswood does not occur and/or the Europeanness does not occur.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the subordinating does not occur and the spending Lego does not occur is incorrect.; int4 & sent13 -> int5: the lightning does not occur.; sent4 -> int6: the assuming symbolist occurs.; int5 & int6 -> int7: the lightning does not occur and the assuming symbolist occurs.; int7 & sent1 -> int8: the Donatist does not occur.; int8 -> int9: the non-Donatistness and/or the Norwegianness happens.;
the diving does not occur.
$hypothesis$ = the diving occurs. ; $context$ = sent1: that the Donatist does not occur is brought about by that not the lightning but the assuming symbolist happens. sent2: either the residence does not occur or the Arawakanness does not occur or both. sent3: if the spending Lego does not occur the assuming cocuswood and/or the non-Europeanness happens. sent4: both the assuming symbolist and the congratulating inquest occurs. sent5: if the testifying decrescendo occurs the spending mutineer does not occur. sent6: that both the non-subordinatingness and the spending Lego happens is not correct. sent7: the congratulating inquest occurs. sent8: the fact that the assuming cocuswood does not occur and/or the Europeanness does not occur does not hold. sent9: if the spending Lego happens the fact that the diving but not the subordinating happens does not hold. sent10: if the Norwegian happens the diving happens. sent11: the illativeness occurs. sent12: if the spending Lego does not occur the assuming cocuswood does not occur and/or the Europeanness does not occur. sent13: the lightning does not occur if the fact that the subordinating does not occur and the spending Lego does not occur is not right. ; $proof$ = 
void -> assump1: Let's assume that the subordinatingness does not occur and the spending Lego does not occur.; assump1 -> int1: the spending Lego does not occur.; int1 & sent12 -> int2: the assuming cocuswood does not occur and/or the Europeanness does not occur.; int2 & sent8 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the subordinating does not occur and the spending Lego does not occur is incorrect.; int4 & sent13 -> int5: the lightning does not occur.; sent4 -> int6: the assuming symbolist occurs.; int5 & int6 -> int7: the lightning does not occur and the assuming symbolist occurs.; int7 & sent1 -> int8: the Donatist does not occur.; int8 -> int9: the non-Donatistness and/or the Norwegianness happens.; __UNKNOWN__