the hodoscope does begin bulkiness.
sent1: that the hodoscope begins bulkiness if the baya does rake Ouse is true. sent2: The chutzpanik does rake cryptograph. sent3: the fencing is not non-reversed. sent4: if the cryptograph does rake chutzpanik then the fact that it is non-reversed thing that does begin lion's-ear is not right. sent5: if something does begin bulkiness then that it does rake Ouse and it does not rake chutzpanik does not hold. sent6: if the cryptograph does not begin bulkiness the hodoscope does not begin bulkiness. sent7: that the cryptograph does not begin lion's-ear and begins bulkiness is incorrect. sent8: the fact that the fact that the cryptograph does not begin bulkiness and is reversed hold is false. sent9: the deep-freeze is a kind of a execration. sent10: the mangrove does begin lion's-ear. sent11: the cryptograph begins bulkiness if the baya is cytophotometric and/or it is not Indonesian. sent12: if the baya is not non-reversed the cryptograph rakes Ouse. sent13: that the baya rakes chutzpanik is right. sent14: the hodoscope does rake tyrolean. sent15: the cryptograph is a directive. sent16: the cryptograph does rake chutzpanik. sent17: if the fact that the cryptograph is not a kind of a reversed but it begins lion's-ear is not right the baya rakes Ouse.
sent4 & sent16 -> int1: that the cryptograph is not a kind of a reversed but it begins lion's-ear is not true.; sent17 & int1 -> int2: the baya does rake Ouse.; sent1 & int2 -> hypothesis;
the hodoscope does rake chutzpanik.
sent5 -> int3: that the cryptograph rakes Ouse but it does not rake chutzpanik is not right if it does begin bulkiness.; sent9 -> int4: there is something such that it is a execration.;
$hypothesis$ = the hodoscope does begin bulkiness. ; $context$ = sent1: that the hodoscope begins bulkiness if the baya does rake Ouse is true. sent2: The chutzpanik does rake cryptograph. sent3: the fencing is not non-reversed. sent4: if the cryptograph does rake chutzpanik then the fact that it is non-reversed thing that does begin lion's-ear is not right. sent5: if something does begin bulkiness then that it does rake Ouse and it does not rake chutzpanik does not hold. sent6: if the cryptograph does not begin bulkiness the hodoscope does not begin bulkiness. sent7: that the cryptograph does not begin lion's-ear and begins bulkiness is incorrect. sent8: the fact that the fact that the cryptograph does not begin bulkiness and is reversed hold is false. sent9: the deep-freeze is a kind of a execration. sent10: the mangrove does begin lion's-ear. sent11: the cryptograph begins bulkiness if the baya is cytophotometric and/or it is not Indonesian. sent12: if the baya is not non-reversed the cryptograph rakes Ouse. sent13: that the baya rakes chutzpanik is right. sent14: the hodoscope does rake tyrolean. sent15: the cryptograph is a directive. sent16: the cryptograph does rake chutzpanik. sent17: if the fact that the cryptograph is not a kind of a reversed but it begins lion's-ear is not right the baya rakes Ouse. ; $proof$ = 
sent4 & sent16 -> int1: that the cryptograph is not a kind of a reversed but it begins lion's-ear is not true.; sent17 & int1 -> int2: the baya does rake Ouse.; sent1 & int2 -> hypothesis; __PROVED__