that the ferromagnetism occurs leads to either that the spluttering potshot does not occur or the reversal or both.
sent1: the reversal does not occur. sent2: if that the journey and the ferromagnetism happens is false the journey does not occur. sent3: if that the recombining piety does not occur and/or the agglomerating occurs is wrong then the flatnessness does not occur. sent4: the spluttering potshot occurs. sent5: the recombining ineffectiveness does not occur if that that the planking happens and/or the thermocautery occurs is not wrong is not true. sent6: if the fact that the spluttering potshot or the reversal or both happens is not right then the ferromagnetism does not occur. sent7: the ferromagnetism does not occur if the fact that either the spluttering potshot does not occur or the reversal happens or both is incorrect. sent8: that the Lilliputianness happens results in that the abruption does not occur or that the externalization happens or both. sent9: either the recombining ineffectiveness does not occur or the cooperative happens or both. sent10: that the ferromagnetism occurs leads to that the spluttering potshot happens and/or the reversal. sent11: if the tweedling distressing does not occur then not the circumnavigation but the fishiness happens. sent12: the fact that the journey occurs and the ferromagnetism occurs is not true if the circumnavigation does not occur. sent13: the ferromagnetism does not occur if the spluttering potshot does not occur or the reversal occurs or both.
void -> assump1: Let's assume that the fact that either the spluttering potshot does not occur or the reversal happens or both is false.; sent7 & assump1 -> int1: the ferromagnetism does not occur.; void -> assump2: Let's assume that the ferromagnetism occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the spluttering potshot does not occur and/or the reversal happens.; [assump2] & int3 -> hypothesis;
that the journey does not occur is not incorrect.
$hypothesis$ = that the ferromagnetism occurs leads to either that the spluttering potshot does not occur or the reversal or both. ; $context$ = sent1: the reversal does not occur. sent2: if that the journey and the ferromagnetism happens is false the journey does not occur. sent3: if that the recombining piety does not occur and/or the agglomerating occurs is wrong then the flatnessness does not occur. sent4: the spluttering potshot occurs. sent5: the recombining ineffectiveness does not occur if that that the planking happens and/or the thermocautery occurs is not wrong is not true. sent6: if the fact that the spluttering potshot or the reversal or both happens is not right then the ferromagnetism does not occur. sent7: the ferromagnetism does not occur if the fact that either the spluttering potshot does not occur or the reversal happens or both is incorrect. sent8: that the Lilliputianness happens results in that the abruption does not occur or that the externalization happens or both. sent9: either the recombining ineffectiveness does not occur or the cooperative happens or both. sent10: that the ferromagnetism occurs leads to that the spluttering potshot happens and/or the reversal. sent11: if the tweedling distressing does not occur then not the circumnavigation but the fishiness happens. sent12: the fact that the journey occurs and the ferromagnetism occurs is not true if the circumnavigation does not occur. sent13: the ferromagnetism does not occur if the spluttering potshot does not occur or the reversal occurs or both. ; $proof$ = 
void -> assump1: Let's assume that the fact that either the spluttering potshot does not occur or the reversal happens or both is false.; sent7 & assump1 -> int1: the ferromagnetism does not occur.; void -> assump2: Let's assume that the ferromagnetism occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the spluttering potshot does not occur and/or the reversal happens.; [assump2] & int3 -> hypothesis; __PROVED__