the accompanying happens.
sent1: the medicolegalness occurs. sent2: if the bypassing Araujia does not occur the Mercurialness occurs. sent3: the twining kaki happens. sent4: that the bypassing Araujia does not occur leads to that both the phenomenon and the Mercurialness occurs. sent5: if the lying occurs that the bypassing Araujia does not occur and the accompanying does not occur is correct. sent6: the medicolegalness but not the lying occurs. sent7: the electroshock occurs. sent8: if the proprioceptiveness does not occur then the fact that the normalness does not occur is correct. sent9: both the diploid and the non-Socraticness happens. sent10: the Mercurialness occurs. sent11: if the congestiveness does not occur then the diploidness occurs. sent12: if the bypassing Araujia happens then the accompanying occurs. sent13: the bromicness occurs. sent14: the tensileness occurs. sent15: that the lying does not occur prevents that the phenomenon happens. sent16: the effort occurs. sent17: the karaoke does not occur. sent18: that both the antiquing and the crossfire happens is brought about by that the distinguishableness does not occur. sent19: the hugging happens. sent20: the accompanying does not occur and the lying does not occur if the medicolegalness does not occur. sent21: the apothecialness but not the internment happens.
void -> assump1: Let's assume that the bypassing Araujia does not occur.; sent4 & assump1 -> int1: the phenomenon and the Mercurialness happens.; int1 -> int2: that the phenomenon happens is correct.; sent6 -> int3: the lying does not occur.; sent15 & int3 -> int4: the phenomenon does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bypassing Araujia occurs.; int6 & sent12 -> hypothesis;
the accompanying does not occur.
$hypothesis$ = the accompanying happens. ; $context$ = sent1: the medicolegalness occurs. sent2: if the bypassing Araujia does not occur the Mercurialness occurs. sent3: the twining kaki happens. sent4: that the bypassing Araujia does not occur leads to that both the phenomenon and the Mercurialness occurs. sent5: if the lying occurs that the bypassing Araujia does not occur and the accompanying does not occur is correct. sent6: the medicolegalness but not the lying occurs. sent7: the electroshock occurs. sent8: if the proprioceptiveness does not occur then the fact that the normalness does not occur is correct. sent9: both the diploid and the non-Socraticness happens. sent10: the Mercurialness occurs. sent11: if the congestiveness does not occur then the diploidness occurs. sent12: if the bypassing Araujia happens then the accompanying occurs. sent13: the bromicness occurs. sent14: the tensileness occurs. sent15: that the lying does not occur prevents that the phenomenon happens. sent16: the effort occurs. sent17: the karaoke does not occur. sent18: that both the antiquing and the crossfire happens is brought about by that the distinguishableness does not occur. sent19: the hugging happens. sent20: the accompanying does not occur and the lying does not occur if the medicolegalness does not occur. sent21: the apothecialness but not the internment happens. ; $proof$ = 
void -> assump1: Let's assume that the bypassing Araujia does not occur.; sent4 & assump1 -> int1: the phenomenon and the Mercurialness happens.; int1 -> int2: that the phenomenon happens is correct.; sent6 -> int3: the lying does not occur.; sent15 & int3 -> int4: the phenomenon does not occur.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the bypassing Araujia occurs.; int6 & sent12 -> hypothesis; __PROVED__