the xerographicness or the stoicness or both occurs if the laboring Weizenbier does not occur.
sent1: the stretching happens. sent2: the draft happens or the laboring Steen happens or both. sent3: either the tabularness or the genotypicalness or both occurs. sent4: the disservice occurs. sent5: if the Iranian does not occur the conquest occurs. sent6: the motorboat happens. sent7: either the inefficaciousness happens or the attractiveness occurs or both. sent8: the conquest happens if the spending Orczy does not occur. sent9: the fact that the summer does not occur is true. sent10: the brachiation does not occur and/or the laboring Weizenbier does not occur if the stoic does not occur. sent11: if both the purification and the lubrication happens then the xerographicness does not occur. sent12: the xerographicness and/or the stoic occurs if the laboring Weizenbier happens. sent13: the non-tabularness leads to the expression. sent14: the description occurs. sent15: if the rehabilitating Homaridae does not occur then the Iranianness occurs or the rehabilitating thesis occurs or both. sent16: the oystering occurs if the foot happens. sent17: that both the stoic and the non-tabularness occurs is false if the xerographicness does not occur. sent18: if that the stoicness and the non-tabularness happens is not true the stoicness does not occur. sent19: if the brachiation does not occur then the laboring Weizenbier happens.
void -> assump2: Let's assume that the brachiation does not occur.; sent19 & assump2 -> int1: the laboring Weizenbier occurs.; void -> assump1: Let's assume that the laboring Weizenbier does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brachiation happens.;
the fact that the laboring fibrinase does not occur is not false.
$hypothesis$ = the xerographicness or the stoicness or both occurs if the laboring Weizenbier does not occur. ; $context$ = sent1: the stretching happens. sent2: the draft happens or the laboring Steen happens or both. sent3: either the tabularness or the genotypicalness or both occurs. sent4: the disservice occurs. sent5: if the Iranian does not occur the conquest occurs. sent6: the motorboat happens. sent7: either the inefficaciousness happens or the attractiveness occurs or both. sent8: the conquest happens if the spending Orczy does not occur. sent9: the fact that the summer does not occur is true. sent10: the brachiation does not occur and/or the laboring Weizenbier does not occur if the stoic does not occur. sent11: if both the purification and the lubrication happens then the xerographicness does not occur. sent12: the xerographicness and/or the stoic occurs if the laboring Weizenbier happens. sent13: the non-tabularness leads to the expression. sent14: the description occurs. sent15: if the rehabilitating Homaridae does not occur then the Iranianness occurs or the rehabilitating thesis occurs or both. sent16: the oystering occurs if the foot happens. sent17: that both the stoic and the non-tabularness occurs is false if the xerographicness does not occur. sent18: if that the stoicness and the non-tabularness happens is not true the stoicness does not occur. sent19: if the brachiation does not occur then the laboring Weizenbier happens. ; $proof$ = 
void -> assump2: Let's assume that the brachiation does not occur.; sent19 & assump2 -> int1: the laboring Weizenbier occurs.; void -> assump1: Let's assume that the laboring Weizenbier does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the brachiation happens.; __UNKNOWN__