the universalisticness does not occur and the dissilience does not occur if the two-dimensionalness occurs.
sent1: that the hepaticness occurs but the battledore does not occur prevents that the dissilience happens. sent2: the non-two-dimensionalness is prevented by that the universalisticness but not the anaphylacticness occurs. sent3: if the screaming malamute occurs then the battledore happens and the hepaticness does not occur. sent4: that the dissilience does not occur is caused by that the hepaticness does not occur and the battledore does not occur. sent5: the hepaticness does not occur if the screaming malamute does not occur. sent6: the biting happens but the pedicuring does not occur if the robustness occurs. sent7: the anaphylacticness does not occur. sent8: the hepaticness does not occur. sent9: the bite is brought about by that the robustness happens. sent10: the robustness occurs. sent11: if the battledore occurs then that the dissilience occurs hold. sent12: that the biting happens but the pedicure does not occur prevents the screaming malamute. sent13: that the two-dimensionalness does not occur is brought about by that both the universalisticness and the non-anaphylacticness occurs. sent14: the hitching Arctium does not occur and the two-step does not occur. sent15: the bite happens.
void -> assump1: Let's assume that the universalisticness occurs.; assump1 & sent7 -> int1: the universalisticness and the non-anaphylacticness happens.; int1 & sent13 -> int2: the two-dimensionalness does not occur.; void -> assump2: Let's assume that the two-dimensionalness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the universalisticness does not occur.; sent6 & sent10 -> int5: the biting but not the pedicure happens.; sent12 & int5 -> int6: the screaming malamute does not occur.;
the Siniticness does not occur.
$hypothesis$ = the universalisticness does not occur and the dissilience does not occur if the two-dimensionalness occurs. ; $context$ = sent1: that the hepaticness occurs but the battledore does not occur prevents that the dissilience happens. sent2: the non-two-dimensionalness is prevented by that the universalisticness but not the anaphylacticness occurs. sent3: if the screaming malamute occurs then the battledore happens and the hepaticness does not occur. sent4: that the dissilience does not occur is caused by that the hepaticness does not occur and the battledore does not occur. sent5: the hepaticness does not occur if the screaming malamute does not occur. sent6: the biting happens but the pedicuring does not occur if the robustness occurs. sent7: the anaphylacticness does not occur. sent8: the hepaticness does not occur. sent9: the bite is brought about by that the robustness happens. sent10: the robustness occurs. sent11: if the battledore occurs then that the dissilience occurs hold. sent12: that the biting happens but the pedicure does not occur prevents the screaming malamute. sent13: that the two-dimensionalness does not occur is brought about by that both the universalisticness and the non-anaphylacticness occurs. sent14: the hitching Arctium does not occur and the two-step does not occur. sent15: the bite happens. ; $proof$ = 
void -> assump1: Let's assume that the universalisticness occurs.; assump1 & sent7 -> int1: the universalisticness and the non-anaphylacticness happens.; int1 & sent13 -> int2: the two-dimensionalness does not occur.; void -> assump2: Let's assume that the two-dimensionalness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the universalisticness does not occur.; sent6 & sent10 -> int5: the biting but not the pedicure happens.; sent12 & int5 -> int6: the screaming malamute does not occur.; __UNKNOWN__