the fact that if the hypothecating ream occurs the porphyriticness and the non-polarness occurs is incorrect.
sent1: that the porphyriticness does not occur but the hypothecating ream occurs causes the dispensableness. sent2: the hypothecating ream does not occur if the polarness occurs or the indispensableness occurs or both. sent3: if the rupestralness does not occur then the spread happens and the monopolization occurs. sent4: the rupestralness occurs and the volcanism happens. sent5: the fact that the unfreeness does not occur is true. sent6: if the fact that both the rupestralness and the undiplomaticness happens is not true the rupestralness does not occur. sent7: that the porphyriticness and the monopolization occurs is caused by that the spread does not occur. sent8: that the hypothecating ream happens is triggered by the polarness and/or that the indispensableness occurs. sent9: if both the rupestralness and the volcanism occurs then the spread does not occur.
void -> assump2: Let's assume that the polarness happens.; assump2 -> int1: the polarness and/or the indispensableness happens.; int1 & sent2 -> int2: the hypothecating ream does not occur.; void -> assump1: Let's assume that the hypothecating ream happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the polarness does not occur.; sent9 & sent4 -> int5: that the spreading does not occur is not false.; sent7 & int5 -> int6: both the porphyriticness and the monopolization happens.; int6 -> int7: the porphyriticness occurs.; int4 & int7 -> int8: the porphyriticness and the non-polarness happens.; [assump1] & int8 -> hypothesis;
the hypothecating club occurs.
$hypothesis$ = the fact that if the hypothecating ream occurs the porphyriticness and the non-polarness occurs is incorrect. ; $context$ = sent1: that the porphyriticness does not occur but the hypothecating ream occurs causes the dispensableness. sent2: the hypothecating ream does not occur if the polarness occurs or the indispensableness occurs or both. sent3: if the rupestralness does not occur then the spread happens and the monopolization occurs. sent4: the rupestralness occurs and the volcanism happens. sent5: the fact that the unfreeness does not occur is true. sent6: if the fact that both the rupestralness and the undiplomaticness happens is not true the rupestralness does not occur. sent7: that the porphyriticness and the monopolization occurs is caused by that the spread does not occur. sent8: that the hypothecating ream happens is triggered by the polarness and/or that the indispensableness occurs. sent9: if both the rupestralness and the volcanism occurs then the spread does not occur. ; $proof$ = 
void -> assump2: Let's assume that the polarness happens.; assump2 -> int1: the polarness and/or the indispensableness happens.; int1 & sent2 -> int2: the hypothecating ream does not occur.; void -> assump1: Let's assume that the hypothecating ream happens.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the polarness does not occur.; sent9 & sent4 -> int5: that the spreading does not occur is not false.; sent7 & int5 -> int6: both the porphyriticness and the monopolization happens.; int6 -> int7: the porphyriticness occurs.; int4 & int7 -> int8: the porphyriticness and the non-polarness happens.; [assump1] & int8 -> hypothesis; __DISPROVED__