the electrotherapy and the shambles occurs.
sent1: the coinage happens and the shambles happens if the playing willing does not occur. sent2: that the averaging mojo occurs hold. sent3: the shambles occurs and the playing willing happens. sent4: if the fact that the playing willing does not occur is right then that that that the electrotherapy happens and the shambles occurs hold is not true hold. sent5: the playing sclerometer occurs. sent6: that the antiapartheidness happens and the riding occurs hold. sent7: that not the playing willing but the electrotherapy happens is triggered by that the averaging Versace does not occur. sent8: the cytogeneticsness happens and the facelessness occurs. sent9: the electrotherapy happens and the averaging Versace occurs. sent10: the genuineness happens. sent11: the playing willing happens.
sent3 -> int1: the shambles occurs.; sent9 -> int2: the electrotherapy happens.; int1 & int2 -> hypothesis;
the coinage occurs.
$hypothesis$ = the electrotherapy and the shambles occurs. ; $context$ = sent1: the coinage happens and the shambles happens if the playing willing does not occur. sent2: that the averaging mojo occurs hold. sent3: the shambles occurs and the playing willing happens. sent4: if the fact that the playing willing does not occur is right then that that that the electrotherapy happens and the shambles occurs hold is not true hold. sent5: the playing sclerometer occurs. sent6: that the antiapartheidness happens and the riding occurs hold. sent7: that not the playing willing but the electrotherapy happens is triggered by that the averaging Versace does not occur. sent8: the cytogeneticsness happens and the facelessness occurs. sent9: the electrotherapy happens and the averaging Versace occurs. sent10: the genuineness happens. sent11: the playing willing happens. ; $proof$ = 
sent3 -> int1: the shambles occurs.; sent9 -> int2: the electrotherapy happens.; int1 & int2 -> hypothesis; __PROVED__