if the promising anomaly occurs then the fact that the brown occurs is right.
sent1: if the yawn occurs then the tremble does not occur and the trudge does not occur. sent2: the attitudinizing and the polyhedralness happens if the jejunostomy does not occur. sent3: if the tremble does not occur the fact that both the promising SVR and the rehearsal occurs is false. sent4: if the fact that the promising SVR occurs and the rehearsal happens does not hold then the brown does not occur. sent5: the promising anomaly does not occur if the promising Turpin and/or the theist occurs. sent6: if the polyhedralness happens the promising Turpin occurs. sent7: if the promising Turpin occurs or the theist occurs or both the promising anomaly happens. sent8: the exodus occurs if the fact that the rehearsal and the non-incorporealness happens is wrong. sent9: that the fact that not the promising anomaly but the theist occurs is right does not hold if the fact that the brown does not occur is not wrong. sent10: the browning happens if that the polyhedralness happens but the jejunostomy does not occur is incorrect.
void -> assump2: Let's assume that the promising anomaly happens.; void -> assump1: Let's assume that the polyhedralness happens and the jejunostomy does not occur.; assump1 -> int1: the polyhedralness occurs.; sent6 & int1 -> int2: the promising Turpin happens.; int2 -> int3: the promising Turpin occurs and/or the theist happens.; sent5 & int3 -> int4: that the promising anomaly does not occur is true.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the polyhedralness but not the jejunostomy happens is wrong.; sent10 & int6 -> int7: the browning occurs.; [assump2] & int7 -> hypothesis;
either the attitudinizing or the independentness or both happens.
$hypothesis$ = if the promising anomaly occurs then the fact that the brown occurs is right. ; $context$ = sent1: if the yawn occurs then the tremble does not occur and the trudge does not occur. sent2: the attitudinizing and the polyhedralness happens if the jejunostomy does not occur. sent3: if the tremble does not occur the fact that both the promising SVR and the rehearsal occurs is false. sent4: if the fact that the promising SVR occurs and the rehearsal happens does not hold then the brown does not occur. sent5: the promising anomaly does not occur if the promising Turpin and/or the theist occurs. sent6: if the polyhedralness happens the promising Turpin occurs. sent7: if the promising Turpin occurs or the theist occurs or both the promising anomaly happens. sent8: the exodus occurs if the fact that the rehearsal and the non-incorporealness happens is wrong. sent9: that the fact that not the promising anomaly but the theist occurs is right does not hold if the fact that the brown does not occur is not wrong. sent10: the browning happens if that the polyhedralness happens but the jejunostomy does not occur is incorrect. ; $proof$ = 
void -> assump2: Let's assume that the promising anomaly happens.; void -> assump1: Let's assume that the polyhedralness happens and the jejunostomy does not occur.; assump1 -> int1: the polyhedralness occurs.; sent6 & int1 -> int2: the promising Turpin happens.; int2 -> int3: the promising Turpin occurs and/or the theist happens.; sent5 & int3 -> int4: that the promising anomaly does not occur is true.; assump2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the polyhedralness but not the jejunostomy happens is wrong.; sent10 & int6 -> int7: the browning occurs.; [assump2] & int7 -> hypothesis; __PROVED__