the clangoring file happens and the chess happens.
sent1: the theocraticness happens if the navigation does not occur. sent2: if the clangoring Gordius does not occur the chess happens and the depredation occurs. sent3: the teleportation and the clangoring branched happens. sent4: the depredation happens. sent5: the pursuing is prevented by that the chess does not occur. sent6: the detailing extremeness is triggered by that the capsuling connotation does not occur. sent7: if that the retroactiveness does not occur and the pursuing does not occur does not hold then the cultism occurs. sent8: the retroactiveness happens. sent9: that the clangoring file occurs hold if the cultism happens. sent10: the butt-welding does not occur. sent11: the fact that the sacerdotalness does not occur is true. sent12: the plant and the centering happens. sent13: the clangoring Gordius does not occur.
void -> assump1: Let's assume that the retroactiveness does not occur and the pursuing does not occur.; assump1 -> int1: the retroactiveness does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the retroactiveness does not occur and the pursuing does not occur is wrong.; int3 & sent7 -> int4: that the cultism occurs is right.; int4 & sent9 -> int5: the clangoring file occurs.; sent2 & sent13 -> int6: the chess and the depredation happens.; int6 -> int7: the chess occurs.; int5 & int7 -> hypothesis;
both the patinating barrenwort and the effleurage occurs.
$hypothesis$ = the clangoring file happens and the chess happens. ; $context$ = sent1: the theocraticness happens if the navigation does not occur. sent2: if the clangoring Gordius does not occur the chess happens and the depredation occurs. sent3: the teleportation and the clangoring branched happens. sent4: the depredation happens. sent5: the pursuing is prevented by that the chess does not occur. sent6: the detailing extremeness is triggered by that the capsuling connotation does not occur. sent7: if that the retroactiveness does not occur and the pursuing does not occur does not hold then the cultism occurs. sent8: the retroactiveness happens. sent9: that the clangoring file occurs hold if the cultism happens. sent10: the butt-welding does not occur. sent11: the fact that the sacerdotalness does not occur is true. sent12: the plant and the centering happens. sent13: the clangoring Gordius does not occur. ; $proof$ = 
void -> assump1: Let's assume that the retroactiveness does not occur and the pursuing does not occur.; assump1 -> int1: the retroactiveness does not occur.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the retroactiveness does not occur and the pursuing does not occur is wrong.; int3 & sent7 -> int4: that the cultism occurs is right.; int4 & sent9 -> int5: the clangoring file occurs.; sent2 & sent13 -> int6: the chess and the depredation happens.; int6 -> int7: the chess occurs.; int5 & int7 -> hypothesis; __PROVED__