the alkaloidalness does not occur.
sent1: the agrypnoticness does not occur. sent2: that both the non-alkaloidalness and the non-unjustness happens does not hold if the fact that the agrypnoticness occurs is correct. sent3: not the alkaloidalness but the guttering pyrophyllite happens if that the sloganeering happens is wrong. sent4: the Keynesian and the sloganeering occurs if the guttering bedstraw does not occur. sent5: the guttering bedstraw happens. sent6: if that both the non-alkaloidalness and the non-unjustness occurs is false then the guttering pyrophyllite happens. sent7: the agrypnoticness occurs if the formalness occurs. sent8: that the agrypnoticness does not occur yields that the volubleness happens and the unjustness happens. sent9: if the sloganeering happens and the guttering bedstraw occurs then the volubleness does not occur.
void -> assump1: Let's assume that the sloganeering happens.; assump1 & sent5 -> int1: the sloganeering and the guttering bedstraw occurs.; int1 & sent9 -> int2: the volubleness does not occur.; sent8 & sent1 -> int3: the volubleness occurs and the unjustness happens.; int3 -> int4: the volubleness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sloganeering does not occur.; int6 & sent3 -> int7: not the alkaloidalness but the guttering pyrophyllite occurs.; int7 -> hypothesis;
the Keynesian occurs.
$hypothesis$ = the alkaloidalness does not occur. ; $context$ = sent1: the agrypnoticness does not occur. sent2: that both the non-alkaloidalness and the non-unjustness happens does not hold if the fact that the agrypnoticness occurs is correct. sent3: not the alkaloidalness but the guttering pyrophyllite happens if that the sloganeering happens is wrong. sent4: the Keynesian and the sloganeering occurs if the guttering bedstraw does not occur. sent5: the guttering bedstraw happens. sent6: if that both the non-alkaloidalness and the non-unjustness occurs is false then the guttering pyrophyllite happens. sent7: the agrypnoticness occurs if the formalness occurs. sent8: that the agrypnoticness does not occur yields that the volubleness happens and the unjustness happens. sent9: if the sloganeering happens and the guttering bedstraw occurs then the volubleness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the sloganeering happens.; assump1 & sent5 -> int1: the sloganeering and the guttering bedstraw occurs.; int1 & sent9 -> int2: the volubleness does not occur.; sent8 & sent1 -> int3: the volubleness occurs and the unjustness happens.; int3 -> int4: the volubleness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the sloganeering does not occur.; int6 & sent3 -> int7: not the alkaloidalness but the guttering pyrophyllite occurs.; int7 -> hypothesis; __PROVED__