the armillariness does not occur.
sent1: the harmoniousness does not occur if the electric occurs and the allies happens. sent2: the harmoniousness and the priestliness occurs if the flagellateness does not occur. sent3: if not the dunning Walloon but the cordlessness occurs then the Wilsonianness does not occur. sent4: the immunization occurs. sent5: the fact that the bisectionalness does not occur is correct. sent6: the allies occurs if the stare occurs. sent7: if the fact that the allies but not the stare occurs hold then the pedaling does not occur. sent8: that the pedal does not occur causes that the armillariness and the Salvadoran occurs. sent9: the Zambianness happens. sent10: the Salvadoranness happens and the pedaling happens. sent11: that either the non-blastogeneticness or the non-flagellateness or both happens prevents that the non-flagellate happens. sent12: that not the stoning but the blastogeneticness occurs does not hold if the rehashing does not occur. sent13: the pedal occurs. sent14: the fact that the flagellate happens is right. sent15: both the priestliness and the flagellateness happens. sent16: the whiplash does not occur. sent17: the Depression occurs. sent18: that the inharmoniousness and the priestliness occurs results in that the armillariness does not occur. sent19: if the marmoreanness happens the Offertory happens. sent20: that the Salvadoranness occurs brings about that the staring occurs. sent21: if the fact that the stoning does not occur and the blastogeneticness occurs is not right then the blastogeneticness does not occur.
sent10 -> int1: the Salvadoran occurs.; int1 & sent20 -> int2: the staring occurs.; int2 & sent6 -> int3: the allies happens.; sent15 -> int4: the priestliness occurs.;
the armillariness occurs.
$hypothesis$ = the armillariness does not occur. ; $context$ = sent1: the harmoniousness does not occur if the electric occurs and the allies happens. sent2: the harmoniousness and the priestliness occurs if the flagellateness does not occur. sent3: if not the dunning Walloon but the cordlessness occurs then the Wilsonianness does not occur. sent4: the immunization occurs. sent5: the fact that the bisectionalness does not occur is correct. sent6: the allies occurs if the stare occurs. sent7: if the fact that the allies but not the stare occurs hold then the pedaling does not occur. sent8: that the pedal does not occur causes that the armillariness and the Salvadoran occurs. sent9: the Zambianness happens. sent10: the Salvadoranness happens and the pedaling happens. sent11: that either the non-blastogeneticness or the non-flagellateness or both happens prevents that the non-flagellate happens. sent12: that not the stoning but the blastogeneticness occurs does not hold if the rehashing does not occur. sent13: the pedal occurs. sent14: the fact that the flagellate happens is right. sent15: both the priestliness and the flagellateness happens. sent16: the whiplash does not occur. sent17: the Depression occurs. sent18: that the inharmoniousness and the priestliness occurs results in that the armillariness does not occur. sent19: if the marmoreanness happens the Offertory happens. sent20: that the Salvadoranness occurs brings about that the staring occurs. sent21: if the fact that the stoning does not occur and the blastogeneticness occurs is not right then the blastogeneticness does not occur. ; $proof$ = 
sent10 -> int1: the Salvadoran occurs.; int1 & sent20 -> int2: the staring occurs.; int2 & sent6 -> int3: the allies happens.; sent15 -> int4: the priestliness occurs.; __UNKNOWN__