the unmaking York does not occur.
sent1: the guttural happens. sent2: if the eliminating xenon does not occur either the anatropousness happens or the Taiwaneseness occurs or both. sent3: that the eliminating xenon occurs is prevented by the non-sidingness and/or that the eliminating protege happens. sent4: the bacteriostaticness brings about the revocation or that the fertileness does not occur or both. sent5: the revocation leads to that the unmaking York happens and the defibrillating scrum does not occur. sent6: the fact that the three-dimensionalness occurs hold if the guttural occurs. sent7: that the revocation occurs and/or the fertileness does not occur causes that the revocation occurs.
sent6 & sent1 -> int1: the three-dimensionalness occurs.; int1 -> int2: the defibrillating scrum or the three-dimensionalness or both happens.;
the load happens.
$hypothesis$ = the unmaking York does not occur. ; $context$ = sent1: the guttural happens. sent2: if the eliminating xenon does not occur either the anatropousness happens or the Taiwaneseness occurs or both. sent3: that the eliminating xenon occurs is prevented by the non-sidingness and/or that the eliminating protege happens. sent4: the bacteriostaticness brings about the revocation or that the fertileness does not occur or both. sent5: the revocation leads to that the unmaking York happens and the defibrillating scrum does not occur. sent6: the fact that the three-dimensionalness occurs hold if the guttural occurs. sent7: that the revocation occurs and/or the fertileness does not occur causes that the revocation occurs. ; $proof$ = 
sent6 & sent1 -> int1: the three-dimensionalness occurs.; int1 -> int2: the defibrillating scrum or the three-dimensionalness or both happens.; __UNKNOWN__