if the magnetizing Rajidae happens then that the accurateness does not occur and the criticizing lifer does not occur hold.
sent1: the bowing promulgator does not occur and the abjuring spanker does not occur. sent2: that the fumigation occurs brings about that the cause does not occur. sent3: the appendicularness does not occur if that both the bowing jailer and the appendicularness happens does not hold. sent4: the non-appendicularness brings about that the Congoleseness does not occur. sent5: if the inopportuneness occurs then that the bowing promulgator but not the abjuring hundredth happens is right. sent6: the prickling and/or the directing happens. sent7: if the Congolese does not occur the inopportuneness occurs and the seminalness occurs. sent8: the fact that that the bowing jailer and the appendicularness occurs is right is incorrect if the causing does not occur. sent9: the fact that the accountancy does not occur is not wrong if the bowing promulgator but not the abjuring hundredth happens. sent10: the unostentatiousness happens. sent11: the accurateness and the criticizing lifer happens if the unostentatiousness does not occur. sent12: that the criticizing openwork happens or the magnetizing Rajidae occurs or both brings about that the accurateness does not occur. sent13: that the fumigation occurs is brought about by that the bisexual occurs. sent14: the tinniness does not occur if the trigonometricness happens and/or the bowing chocolate happens. sent15: the criticizing lifer does not occur and the unostentatiousness occurs. sent16: if the fact that the criticizing openwork occurs is not false the accurateness does not occur. sent17: the appropriating does not occur and the magnetizing crested happens if the criticizing openwork occurs. sent18: if the accurateness happens that the criticizing openwork does not occur and the magnetizing Rajidae does not occur is wrong. sent19: if the accountancy does not occur the unostentatiousness does not occur.
void -> assump1: Let's assume that the magnetizing Rajidae happens.; assump1 -> int1: either the criticizing openwork or the magnetizing Rajidae or both happens.; int1 & sent12 -> int2: the accurateness does not occur.; sent15 -> int3: the criticizing lifer does not occur.; int2 & int3 -> int4: the accurateness does not occur and the criticizing lifer does not occur.; [assump1] & int4 -> hypothesis;
not the appropriateness but the magnetizing crested happens.
$hypothesis$ = if the magnetizing Rajidae happens then that the accurateness does not occur and the criticizing lifer does not occur hold. ; $context$ = sent1: the bowing promulgator does not occur and the abjuring spanker does not occur. sent2: that the fumigation occurs brings about that the cause does not occur. sent3: the appendicularness does not occur if that both the bowing jailer and the appendicularness happens does not hold. sent4: the non-appendicularness brings about that the Congoleseness does not occur. sent5: if the inopportuneness occurs then that the bowing promulgator but not the abjuring hundredth happens is right. sent6: the prickling and/or the directing happens. sent7: if the Congolese does not occur the inopportuneness occurs and the seminalness occurs. sent8: the fact that that the bowing jailer and the appendicularness occurs is right is incorrect if the causing does not occur. sent9: the fact that the accountancy does not occur is not wrong if the bowing promulgator but not the abjuring hundredth happens. sent10: the unostentatiousness happens. sent11: the accurateness and the criticizing lifer happens if the unostentatiousness does not occur. sent12: that the criticizing openwork happens or the magnetizing Rajidae occurs or both brings about that the accurateness does not occur. sent13: that the fumigation occurs is brought about by that the bisexual occurs. sent14: the tinniness does not occur if the trigonometricness happens and/or the bowing chocolate happens. sent15: the criticizing lifer does not occur and the unostentatiousness occurs. sent16: if the fact that the criticizing openwork occurs is not false the accurateness does not occur. sent17: the appropriating does not occur and the magnetizing crested happens if the criticizing openwork occurs. sent18: if the accurateness happens that the criticizing openwork does not occur and the magnetizing Rajidae does not occur is wrong. sent19: if the accountancy does not occur the unostentatiousness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the magnetizing Rajidae happens.; assump1 -> int1: either the criticizing openwork or the magnetizing Rajidae or both happens.; int1 & sent12 -> int2: the accurateness does not occur.; sent15 -> int3: the criticizing lifer does not occur.; int2 & int3 -> int4: the accurateness does not occur and the criticizing lifer does not occur.; [assump1] & int4 -> hypothesis; __PROVED__