the Court happens.
sent1: the alarness happens and the ESM occurs. sent2: the fact that the Court occurs is right if that the unstrapping agrobiology happens is not false. sent3: the epizoicness occurs and the unstrapping circumvolution happens if the toxicologicalness does not occur. sent4: that the jacking ingress does not occur yields that that the evilness and the aesculapianness happens hold. sent5: the aesculapianness does not occur if the alarness happens and the panicking Shebat happens. sent6: the jacking ingress does not occur. sent7: if the panicking Shebat does not occur the fact that the hewing does not occur and the rerunning proconvertin does not occur is incorrect.
sent1 -> int1: the alarness happens.; void -> assump1: Let's assume that the panicking Shebat happens.; int1 & assump1 -> int2: both the alarness and the panicking Shebat occurs.; int2 & sent5 -> int3: the aesculapianness does not occur.; sent4 & sent6 -> int4: the evil and the aesculapianness occurs.; int4 -> int5: the aesculapianness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the panicking Shebat does not occur.; int7 & sent7 -> int8: that the hewing does not occur and the rerunning proconvertin does not occur does not hold.;
$hypothesis$ = the Court happens. ; $context$ = sent1: the alarness happens and the ESM occurs. sent2: the fact that the Court occurs is right if that the unstrapping agrobiology happens is not false. sent3: the epizoicness occurs and the unstrapping circumvolution happens if the toxicologicalness does not occur. sent4: that the jacking ingress does not occur yields that that the evilness and the aesculapianness happens hold. sent5: the aesculapianness does not occur if the alarness happens and the panicking Shebat happens. sent6: the jacking ingress does not occur. sent7: if the panicking Shebat does not occur the fact that the hewing does not occur and the rerunning proconvertin does not occur is incorrect. ; $proof$ = 
sent1 -> int1: the alarness happens.; void -> assump1: Let's assume that the panicking Shebat happens.; int1 & assump1 -> int2: both the alarness and the panicking Shebat occurs.; int2 & sent5 -> int3: the aesculapianness does not occur.; sent4 & sent6 -> int4: the evil and the aesculapianness occurs.; int4 -> int5: the aesculapianness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the panicking Shebat does not occur.; int7 & sent7 -> int8: that the hewing does not occur and the rerunning proconvertin does not occur does not hold.; __UNKNOWN__