the subdivision occurs if that not the invoking Grotius but the isomorphousness happens is not right.
sent1: the gathering safehold does not occur. sent2: either the blastocoelicness occurs or the eagerness does not occur or both. sent3: the non-blastocoelicness or the eagerness or both happens. sent4: the invoking one-ten-thousandth does not occur. sent5: that the invoking Grotius does not occur is caused by that the fenestration does not occur. sent6: that the non-blastocoelicness and/or the non-eagerness occurs brings about that the fenestration does not occur. sent7: that the pushball does not occur but the incurrence happens brings about that the ciliariness happens. sent8: that the invoking Crotalus does not occur is prevented by that not the fakery but the reassignment happens. sent9: that not the contouring but the gathering naturalist occurs brings about the filing. sent10: if the invoking Grotius does not occur and the isomorphousness happens then the subdivision occurs. sent11: that the inefficientness does not occur or the essay does not occur or both triggers the non-nonhierarchicalness. sent12: if the isomorphousness does not occur the gathering Wei happens. sent13: the non-blastocoelicness and/or the uneagerness happens.
sent6 & sent13 -> int1: the fenestration does not occur.; sent5 & int1 -> int2: the invoking Grotius does not occur.; void -> assump2: Let's assume that the isomorphousness happens.; int2 & assump2 -> int3: the invoking Grotius does not occur and the isomorphousness happens.; void -> assump1: Let's assume that that the invoking Grotius does not occur but the isomorphousness happens is false.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the isomorphousness does not occur.; sent12 & int5 -> int6: the gathering Wei happens.;
$hypothesis$ = the subdivision occurs if that not the invoking Grotius but the isomorphousness happens is not right. ; $context$ = sent1: the gathering safehold does not occur. sent2: either the blastocoelicness occurs or the eagerness does not occur or both. sent3: the non-blastocoelicness or the eagerness or both happens. sent4: the invoking one-ten-thousandth does not occur. sent5: that the invoking Grotius does not occur is caused by that the fenestration does not occur. sent6: that the non-blastocoelicness and/or the non-eagerness occurs brings about that the fenestration does not occur. sent7: that the pushball does not occur but the incurrence happens brings about that the ciliariness happens. sent8: that the invoking Crotalus does not occur is prevented by that not the fakery but the reassignment happens. sent9: that not the contouring but the gathering naturalist occurs brings about the filing. sent10: if the invoking Grotius does not occur and the isomorphousness happens then the subdivision occurs. sent11: that the inefficientness does not occur or the essay does not occur or both triggers the non-nonhierarchicalness. sent12: if the isomorphousness does not occur the gathering Wei happens. sent13: the non-blastocoelicness and/or the uneagerness happens. ; $proof$ = 
sent6 & sent13 -> int1: the fenestration does not occur.; sent5 & int1 -> int2: the invoking Grotius does not occur.; void -> assump2: Let's assume that the isomorphousness happens.; int2 & assump2 -> int3: the invoking Grotius does not occur and the isomorphousness happens.; void -> assump1: Let's assume that that the invoking Grotius does not occur but the isomorphousness happens is false.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the isomorphousness does not occur.; sent12 & int5 -> int6: the gathering Wei happens.; __UNKNOWN__