the Arminian does not occur.
sent1: that the castration does not occur if the fact that the shining does not occur and the permuting Cyprus does not occur is not true is not incorrect. sent2: that the shining does not occur and the permuting Cyprus does not occur does not hold if the getting occurs. sent3: the commerce does not occur if the fact that both the non-Jacobinicness and the non-Arminianness happens hold. sent4: the fact that the shining happens is right. sent5: the fact that the Jacobinicness does not occur and the commerce does not occur is false if the permuting Cyprus does not occur. sent6: if the creeping occurs then that the mastery happens is true. sent7: if that the Jacobinicness does not occur and the commerce does not occur is not correct then the Arminianness does not occur. sent8: if the permuting Cyprus does not occur the fact that the Jacobinicness occurs but the commerce does not occur does not hold. sent9: the fact that the Jacobinicness does not occur but the commerce occurs is not correct. sent10: the crawling does not occur. sent11: if the get does not occur then the mastery does not occur. sent12: the getting is prevented by that the shining happens and the permuting Cyprus happens.
void -> assump1: Let's assume that the permuting Cyprus occurs.; sent4 & assump1 -> int1: that both the shining and the permuting Cyprus happens hold.; int1 & sent12 -> int2: the getting does not occur.; int2 & sent11 -> int3: the fact that the mastery does not occur is true.;
the castration does not occur.
$hypothesis$ = the Arminian does not occur. ; $context$ = sent1: that the castration does not occur if the fact that the shining does not occur and the permuting Cyprus does not occur is not true is not incorrect. sent2: that the shining does not occur and the permuting Cyprus does not occur does not hold if the getting occurs. sent3: the commerce does not occur if the fact that both the non-Jacobinicness and the non-Arminianness happens hold. sent4: the fact that the shining happens is right. sent5: the fact that the Jacobinicness does not occur and the commerce does not occur is false if the permuting Cyprus does not occur. sent6: if the creeping occurs then that the mastery happens is true. sent7: if that the Jacobinicness does not occur and the commerce does not occur is not correct then the Arminianness does not occur. sent8: if the permuting Cyprus does not occur the fact that the Jacobinicness occurs but the commerce does not occur does not hold. sent9: the fact that the Jacobinicness does not occur but the commerce occurs is not correct. sent10: the crawling does not occur. sent11: if the get does not occur then the mastery does not occur. sent12: the getting is prevented by that the shining happens and the permuting Cyprus happens. ; $proof$ = 
void -> assump1: Let's assume that the permuting Cyprus occurs.; sent4 & assump1 -> int1: that both the shining and the permuting Cyprus happens hold.; int1 & sent12 -> int2: the getting does not occur.; int2 & sent11 -> int3: the fact that the mastery does not occur is true.; __UNKNOWN__