that the angelus triggers that the miracle occurs is incorrect.
sent1: that the ascertaining Gymnopilus and the neutering happens causes the unambitiousness. sent2: that the miracle does not occur and the coursing does not occur is not correct if the ambitiousness does not occur. sent3: the ascertaining Gymnopilus happens if that the ascertaining Gymnopilus does not occur and the mass-spectrometricness happens is not true. sent4: the fact that the patriarchalness occurs if the angelus occurs is correct. sent5: the ammoniac occurs. sent6: the neutering occurs if that the non-myeloidness and the reflectorizing laced occurs is not correct. sent7: the ascertaining lagomorph is brought about by that the preserving happens. sent8: the miracle happens if the patriarchalness happens. sent9: that the indignity does not occur triggers that the alarmism occurs and the samba occurs. sent10: that the phone-in and the angelus happens is caused by that the patriarchalness does not occur. sent11: if the alarmism happens then the fact that not the ascertaining Gymnopilus but the mass-spectrometricness happens is wrong. sent12: if the re-establishment happens the fact that the reflectorizing Listera happens is right. sent13: the fact that the indignity does not occur is not incorrect.
void -> assump1: Let's assume that the fact that the angelus happens is not wrong.; sent4 & assump1 -> int1: the patriarchalness happens.; sent8 & int1 -> int2: the miracle occurs.; [assump1] & int2 -> hypothesis;
the phone-in happens.
sent9 & sent13 -> int3: the fact that the alarmism occurs and the samba happens is correct.; int3 -> int4: the alarmism happens.; sent11 & int4 -> int5: that the ascertaining Gymnopilus does not occur and the mass-spectrometricness occurs does not hold.; sent3 & int5 -> int6: the ascertaining Gymnopilus happens.;
$hypothesis$ = that the angelus triggers that the miracle occurs is incorrect. ; $context$ = sent1: that the ascertaining Gymnopilus and the neutering happens causes the unambitiousness. sent2: that the miracle does not occur and the coursing does not occur is not correct if the ambitiousness does not occur. sent3: the ascertaining Gymnopilus happens if that the ascertaining Gymnopilus does not occur and the mass-spectrometricness happens is not true. sent4: the fact that the patriarchalness occurs if the angelus occurs is correct. sent5: the ammoniac occurs. sent6: the neutering occurs if that the non-myeloidness and the reflectorizing laced occurs is not correct. sent7: the ascertaining lagomorph is brought about by that the preserving happens. sent8: the miracle happens if the patriarchalness happens. sent9: that the indignity does not occur triggers that the alarmism occurs and the samba occurs. sent10: that the phone-in and the angelus happens is caused by that the patriarchalness does not occur. sent11: if the alarmism happens then the fact that not the ascertaining Gymnopilus but the mass-spectrometricness happens is wrong. sent12: if the re-establishment happens the fact that the reflectorizing Listera happens is right. sent13: the fact that the indignity does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the fact that the angelus happens is not wrong.; sent4 & assump1 -> int1: the patriarchalness happens.; sent8 & int1 -> int2: the miracle occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__