the concentrate does not mumble.
sent1: everything tumbles and it is rhinal. sent2: if something is scriptural then that it is non-phallic thing that does not mumble is wrong. sent3: that everything is Christological is right. sent4: the skycap is not non-phallic. sent5: everything is a humdinger and a clipper. sent6: everything is a squeamishness. sent7: there exists something such that it is a mumble. sent8: something that is a canvas is scriptural. sent9: there is something such that that it is a canvas is correct. sent10: the concentrate is not thermionic and is not hospitable. sent11: the concentrate does not mumble if something that is phallic is scriptural. sent12: there is something such that it is a kind of a mumble and it is phallic. sent13: the concentrate is hospitable if the motmot is not phallic and is scriptural. sent14: that the skycap is not a car is not false. sent15: that everything is both phallic and scriptural is not false. sent16: if something that is phallic is scriptural the skycap is not a kind of a mumble. sent17: if something is not hospitable it canvases and/or it bathes termer. sent18: the skycap is a diffraction. sent19: the concentrate is phallic. sent20: the concentrate does not commercialize pedant. sent21: if something that is scriptural is not non-phallic then the skycap is not a kind of a mumble. sent22: there is something such that it is taurine.
sent15 -> int1: the skycap is phallic thing that is scriptural.; int1 -> int2: there is something such that it is phallic and it is scriptural.; int2 & sent11 -> hypothesis;
something is a kind of hospitable thing that does rubbish nativist.
$hypothesis$ = the concentrate does not mumble. ; $context$ = sent1: everything tumbles and it is rhinal. sent2: if something is scriptural then that it is non-phallic thing that does not mumble is wrong. sent3: that everything is Christological is right. sent4: the skycap is not non-phallic. sent5: everything is a humdinger and a clipper. sent6: everything is a squeamishness. sent7: there exists something such that it is a mumble. sent8: something that is a canvas is scriptural. sent9: there is something such that that it is a canvas is correct. sent10: the concentrate is not thermionic and is not hospitable. sent11: the concentrate does not mumble if something that is phallic is scriptural. sent12: there is something such that it is a kind of a mumble and it is phallic. sent13: the concentrate is hospitable if the motmot is not phallic and is scriptural. sent14: that the skycap is not a car is not false. sent15: that everything is both phallic and scriptural is not false. sent16: if something that is phallic is scriptural the skycap is not a kind of a mumble. sent17: if something is not hospitable it canvases and/or it bathes termer. sent18: the skycap is a diffraction. sent19: the concentrate is phallic. sent20: the concentrate does not commercialize pedant. sent21: if something that is scriptural is not non-phallic then the skycap is not a kind of a mumble. sent22: there is something such that it is taurine. ; $proof$ = 
sent15 -> int1: the skycap is phallic thing that is scriptural.; int1 -> int2: there is something such that it is phallic and it is scriptural.; int2 & sent11 -> hypothesis; __PROVED__