the background does not occur.
sent1: if that the amplifying scratch but not the Kwanzaa occurs is not right then the Kwanzaa happens. sent2: the backgrounding does not occur if the debriefing serotonin does not occur but the brutality happens. sent3: if the proposal does not occur both the pouncing and the adenoidalness happens. sent4: the backgrounding happens and the debriefing serotonin occurs if the biquadraticness does not occur. sent5: the fact that the retroflection but not the devoir occurs does not hold if the nim does not occur. sent6: the proposal does not occur but the spoiling Leander happens if the retroflection does not occur. sent7: the non-Milaneseness is triggered by that the photography does not occur. sent8: the retroflection does not occur if the fact that the retroflection but not the devoir occurs is not right. sent9: the impenitentness does not occur and the debriefing denizen does not occur. sent10: the frying happens and the stinger happens. sent11: that the nim does not occur is triggered by that the impenitentness does not occur and the debriefing denizen does not occur. sent12: the biquadratic occurs. sent13: the extrusiveness happens and/or the bestowal happens if the Milaneseness does not occur. sent14: that the photography does not occur is not false if the fact that the ferromagneticness does not occur but the photography happens is incorrect. sent15: that the amplifying scratch does not occur causes that the brutality happens and the Kwanzaa occurs. sent16: that both the non-ferromagneticness and the photography happens is incorrect if the pouncing occurs. sent17: that both the debriefing serotonin and the biquadraticness happens triggers that the frying does not occur. sent18: the amplifying scratch does not occur. sent19: if the stinger occurs the fact that the amplifying scratch but not the Kwanzaa happens is incorrect.
void -> assump1: Let's assume that the debriefing serotonin occurs.; assump1 & sent12 -> int1: the debriefing serotonin occurs and the biquadratic occurs.; int1 & sent17 -> int2: that the frying does not occur is correct.; sent10 -> int3: the frying occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the debriefing serotonin does not occur.; sent15 & sent18 -> int6: the brutality and the Kwanzaa happens.; int6 -> int7: the brutality occurs.; int5 & int7 -> int8: not the debriefing serotonin but the brutality occurs.; int8 & sent2 -> hypothesis;
the backgrounding occurs.
sent11 & sent9 -> int9: the nim does not occur.; sent5 & int9 -> int10: that the retroflection happens and the devoir does not occur is false.; sent8 & int10 -> int11: the retroflection does not occur.; sent6 & int11 -> int12: the proposal does not occur and the spoiling Leander happens.; int12 -> int13: the proposal does not occur.; sent3 & int13 -> int14: the pouncing happens and the adenoidalness occurs.; int14 -> int15: that the pounce happens is correct.; sent16 & int15 -> int16: the fact that the ferromagneticness does not occur and the photography happens is not correct.; sent14 & int16 -> int17: the photography does not occur.; sent7 & int17 -> int18: the Milanese does not occur.; sent13 & int18 -> int19: either the extrusiveness happens or the bestowal occurs or both.;
$hypothesis$ = the background does not occur. ; $context$ = sent1: if that the amplifying scratch but not the Kwanzaa occurs is not right then the Kwanzaa happens. sent2: the backgrounding does not occur if the debriefing serotonin does not occur but the brutality happens. sent3: if the proposal does not occur both the pouncing and the adenoidalness happens. sent4: the backgrounding happens and the debriefing serotonin occurs if the biquadraticness does not occur. sent5: the fact that the retroflection but not the devoir occurs does not hold if the nim does not occur. sent6: the proposal does not occur but the spoiling Leander happens if the retroflection does not occur. sent7: the non-Milaneseness is triggered by that the photography does not occur. sent8: the retroflection does not occur if the fact that the retroflection but not the devoir occurs is not right. sent9: the impenitentness does not occur and the debriefing denizen does not occur. sent10: the frying happens and the stinger happens. sent11: that the nim does not occur is triggered by that the impenitentness does not occur and the debriefing denizen does not occur. sent12: the biquadratic occurs. sent13: the extrusiveness happens and/or the bestowal happens if the Milaneseness does not occur. sent14: that the photography does not occur is not false if the fact that the ferromagneticness does not occur but the photography happens is incorrect. sent15: that the amplifying scratch does not occur causes that the brutality happens and the Kwanzaa occurs. sent16: that both the non-ferromagneticness and the photography happens is incorrect if the pouncing occurs. sent17: that both the debriefing serotonin and the biquadraticness happens triggers that the frying does not occur. sent18: the amplifying scratch does not occur. sent19: if the stinger occurs the fact that the amplifying scratch but not the Kwanzaa happens is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the debriefing serotonin occurs.; assump1 & sent12 -> int1: the debriefing serotonin occurs and the biquadratic occurs.; int1 & sent17 -> int2: that the frying does not occur is correct.; sent10 -> int3: the frying occurs.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the debriefing serotonin does not occur.; sent15 & sent18 -> int6: the brutality and the Kwanzaa happens.; int6 -> int7: the brutality occurs.; int5 & int7 -> int8: not the debriefing serotonin but the brutality occurs.; int8 & sent2 -> hypothesis; __PROVED__