the progression occurs.
sent1: if the naturopathy happens then that the revolutionariness happens hold. sent2: if the ticking does not occur and the crustaceousness does not occur the hugging alpenstock does not occur. sent3: if the choppiness does not occur then the fact that the ticking does not occur is right. sent4: if the slavery does not occur the Venetian and/or the snuffling scanner happens. sent5: the fact that the commanding and the uselessness happens is false if the fact that the hugging alpenstock does not occur is right. sent6: if the hugging alpenstock occurs then the tick happens. sent7: that the uselessness does not occur and the command does not occur is false if the hugging alpenstock does not occur. sent8: if the snuffling scanner occurs that the crustaceousness happens hold. sent9: that the Venetianness occurs or the choppiness does not occur or both is triggered by that the Berith occurs. sent10: both the usefulness and the commanding happens if the revolutionariness occurs. sent11: the slavery does not occur. sent12: the hugging alpenstock happens if the command happens. sent13: the fact that not the Berith but the choppiness happens is wrong. sent14: the progression occurs if the crustaceousness happens but the naturopathy does not occur. sent15: if the snuffling scanner occurs then the tick does not occur and the crustaceousness does not occur. sent16: if the Venetian occurs the crustaceousness occurs. sent17: that the uselessness does not occur triggers that the revolutionariness occurs and the naturopathy occurs. sent18: if the equilibration occurs the bitchery occurs. sent19: the progression is prevented by that the revolutionariness and the naturopathy happens.
void -> assump1: Let's assume that the naturopathy occurs.; sent1 & assump1 -> int1: the revolutionariness happens.; int1 & sent10 -> int2: both the non-uselessness and the commanding happens.; int2 -> int3: that the command occurs is true.; int3 & sent12 -> int4: the hugging alpenstock occurs.; int4 & sent6 -> int5: the tick occurs.; sent4 & sent11 -> int6: the Venetian occurs and/or the snuffling scanner occurs.; int6 & sent16 & sent8 -> int7: the crustaceousness occurs.;
the progression does not occur.
$hypothesis$ = the progression occurs. ; $context$ = sent1: if the naturopathy happens then that the revolutionariness happens hold. sent2: if the ticking does not occur and the crustaceousness does not occur the hugging alpenstock does not occur. sent3: if the choppiness does not occur then the fact that the ticking does not occur is right. sent4: if the slavery does not occur the Venetian and/or the snuffling scanner happens. sent5: the fact that the commanding and the uselessness happens is false if the fact that the hugging alpenstock does not occur is right. sent6: if the hugging alpenstock occurs then the tick happens. sent7: that the uselessness does not occur and the command does not occur is false if the hugging alpenstock does not occur. sent8: if the snuffling scanner occurs that the crustaceousness happens hold. sent9: that the Venetianness occurs or the choppiness does not occur or both is triggered by that the Berith occurs. sent10: both the usefulness and the commanding happens if the revolutionariness occurs. sent11: the slavery does not occur. sent12: the hugging alpenstock happens if the command happens. sent13: the fact that not the Berith but the choppiness happens is wrong. sent14: the progression occurs if the crustaceousness happens but the naturopathy does not occur. sent15: if the snuffling scanner occurs then the tick does not occur and the crustaceousness does not occur. sent16: if the Venetian occurs the crustaceousness occurs. sent17: that the uselessness does not occur triggers that the revolutionariness occurs and the naturopathy occurs. sent18: if the equilibration occurs the bitchery occurs. sent19: the progression is prevented by that the revolutionariness and the naturopathy happens. ; $proof$ = 
void -> assump1: Let's assume that the naturopathy occurs.; sent1 & assump1 -> int1: the revolutionariness happens.; int1 & sent10 -> int2: both the non-uselessness and the commanding happens.; int2 -> int3: that the command occurs is true.; int3 & sent12 -> int4: the hugging alpenstock occurs.; int4 & sent6 -> int5: the tick occurs.; sent4 & sent11 -> int6: the Venetian occurs and/or the snuffling scanner occurs.; int6 & sent16 & sent8 -> int7: the crustaceousness occurs.; __UNKNOWN__