the fact that the non-indiscreetness and the prophesying occurs is incorrect.
sent1: if the bayat occurs the disunion does not occur and the scratch does not occur. sent2: the fact that both the indiscreetness and the prophesying occurs is false. sent3: if the rerunning ichthyolatry does not occur then the rerunning alienation happens and the rerunning neurology occurs. sent4: that the rerunning alienation does not occur is triggered by that the efficientness and the rerunning savin happens. sent5: the rerunning neurology happens if the rerunning ichthyolatry happens. sent6: that the shower does not occur hold if the tacticalness does not occur. sent7: the distribution occurs. sent8: that the gnarling occurs is prevented by the non-efficientness. sent9: that the rerunning neurology happens is caused by that the rerunning ichthyolatry does not occur. sent10: if the mucosalness happens the rerunning neurology occurs. sent11: the rerunning neurology happens. sent12: if the gnarling does not occur the fact that the indiscreetness does not occur but the prophesying happens is wrong. sent13: either the mucosalness occurs or the rerunning ichthyolatry happens or both if the disunion does not occur. sent14: the diamagneticness occurs. sent15: the fact that the trundling going-over happens and the deanship occurs is wrong. sent16: if the fact that the rerunning alienation does not occur but the rerunning savin happens is not right then the indiscreetness does not occur. sent17: the rerunning ichthyolatry does not occur. sent18: the bayat occurs. sent19: the rerunning savin occurs. sent20: that the protesting facet does not occur leads to that the prophesying and the efficientness occurs. sent21: if the gnarling does not occur the fact that both the indiscreetness and the prophesying happens is not true.
void -> assump1: Let's assume that the efficientness occurs.; assump1 & sent19 -> int1: the efficientness and the rerunning savin happens.; int1 & sent4 -> int2: the rerunning alienation does not occur.; sent3 & sent17 -> int3: both the rerunning alienation and the rerunning neurology occurs.; int3 -> int4: the rerunning alienation occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the efficientness does not occur.; int6 & sent8 -> int7: the gnarling does not occur.; int7 & sent12 -> hypothesis;
not the indiscreetness but the prophesying occurs.
sent1 & sent18 -> int8: the disunion does not occur and the scratch does not occur.; int8 -> int9: the disunion does not occur.; sent13 & int9 -> int10: the mucosalness or the rerunning ichthyolatry or both occurs.; int10 & sent10 & sent5 -> int11: the rerunning neurology occurs.;
$hypothesis$ = the fact that the non-indiscreetness and the prophesying occurs is incorrect. ; $context$ = sent1: if the bayat occurs the disunion does not occur and the scratch does not occur. sent2: the fact that both the indiscreetness and the prophesying occurs is false. sent3: if the rerunning ichthyolatry does not occur then the rerunning alienation happens and the rerunning neurology occurs. sent4: that the rerunning alienation does not occur is triggered by that the efficientness and the rerunning savin happens. sent5: the rerunning neurology happens if the rerunning ichthyolatry happens. sent6: that the shower does not occur hold if the tacticalness does not occur. sent7: the distribution occurs. sent8: that the gnarling occurs is prevented by the non-efficientness. sent9: that the rerunning neurology happens is caused by that the rerunning ichthyolatry does not occur. sent10: if the mucosalness happens the rerunning neurology occurs. sent11: the rerunning neurology happens. sent12: if the gnarling does not occur the fact that the indiscreetness does not occur but the prophesying happens is wrong. sent13: either the mucosalness occurs or the rerunning ichthyolatry happens or both if the disunion does not occur. sent14: the diamagneticness occurs. sent15: the fact that the trundling going-over happens and the deanship occurs is wrong. sent16: if the fact that the rerunning alienation does not occur but the rerunning savin happens is not right then the indiscreetness does not occur. sent17: the rerunning ichthyolatry does not occur. sent18: the bayat occurs. sent19: the rerunning savin occurs. sent20: that the protesting facet does not occur leads to that the prophesying and the efficientness occurs. sent21: if the gnarling does not occur the fact that both the indiscreetness and the prophesying happens is not true. ; $proof$ = 
void -> assump1: Let's assume that the efficientness occurs.; assump1 & sent19 -> int1: the efficientness and the rerunning savin happens.; int1 & sent4 -> int2: the rerunning alienation does not occur.; sent3 & sent17 -> int3: both the rerunning alienation and the rerunning neurology occurs.; int3 -> int4: the rerunning alienation occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the efficientness does not occur.; int6 & sent8 -> int7: the gnarling does not occur.; int7 & sent12 -> hypothesis; __PROVED__