if the digitalness happens the trisecting Abelard happens.
sent1: the Nicaeanness occurs if the speaking tri-chad happens. sent2: the sparging emblem occurs if the captainship does not occur. sent3: the arachnoidness occurs. sent4: that the sparging emblem does not occur is prevented by that the leglessness occurs. sent5: that either the attitudinizing or the supererogation or both occurs prevents that the digitalness does not occur. sent6: if the sparging tracheid happens the Ugandan happens. sent7: if that either the send-off or the non-binauralness or both occurs does not hold the tailoring occurs. sent8: that the fashioning does not occur prevents that the attitudinizing does not occur. sent9: the soccer does not occur. sent10: the attitudinizing occurs if the decentralization happens. sent11: if the supererogation occurs then the digitalness does not occur. sent12: the remand occurs. sent13: either the amendment happens or the sexcapade occurs or both. sent14: the subclinicalness occurs if that the partaking occurs and/or the gauge does not occur is not right. sent15: if the fact that the fact that the electrocution happens or the cholecystectomy does not occur or both is not incorrect is not correct the reticulating happens. sent16: that either the parhelicness occurs or the rehearsal does not occur or both is wrong. sent17: the trisecting Abelard occurs if that the fact that the decentralization occurs and/or the fashion does not occur is false is not false. sent18: the solubleness happens. sent19: that the trisecting whorlywort occurs is not wrong.
void -> assump1: Let's assume that either the decentralization occurs or the fashioning does not occur or both.; assump1 & sent10 & sent8 -> int1: the attitudinizing happens.; int1 -> int2: the attitudinizing happens or the supererogation occurs or both.;
$hypothesis$ = if the digitalness happens the trisecting Abelard happens. ; $context$ = sent1: the Nicaeanness occurs if the speaking tri-chad happens. sent2: the sparging emblem occurs if the captainship does not occur. sent3: the arachnoidness occurs. sent4: that the sparging emblem does not occur is prevented by that the leglessness occurs. sent5: that either the attitudinizing or the supererogation or both occurs prevents that the digitalness does not occur. sent6: if the sparging tracheid happens the Ugandan happens. sent7: if that either the send-off or the non-binauralness or both occurs does not hold the tailoring occurs. sent8: that the fashioning does not occur prevents that the attitudinizing does not occur. sent9: the soccer does not occur. sent10: the attitudinizing occurs if the decentralization happens. sent11: if the supererogation occurs then the digitalness does not occur. sent12: the remand occurs. sent13: either the amendment happens or the sexcapade occurs or both. sent14: the subclinicalness occurs if that the partaking occurs and/or the gauge does not occur is not right. sent15: if the fact that the fact that the electrocution happens or the cholecystectomy does not occur or both is not incorrect is not correct the reticulating happens. sent16: that either the parhelicness occurs or the rehearsal does not occur or both is wrong. sent17: the trisecting Abelard occurs if that the fact that the decentralization occurs and/or the fashion does not occur is false is not false. sent18: the solubleness happens. sent19: that the trisecting whorlywort occurs is not wrong. ; $proof$ = 
void -> assump1: Let's assume that either the decentralization occurs or the fashioning does not occur or both.; assump1 & sent10 & sent8 -> int1: the attitudinizing happens.; int1 -> int2: the attitudinizing happens or the supererogation occurs or both.; __UNKNOWN__