the jawfish does frolic and is unholy.
sent1: the strider is unholy. sent2: the foreman does not repot mydriatic if there exists something such that that it does lean Buchloe and is a dream is wrong. sent3: the jawfish is not a stationery and it is not a beaming. sent4: if something is a point it is an awkwardness. sent5: the jawfish is a kind of a Aalto. sent6: something is not a Aalto if it is an agar. sent7: if the fact that something does not frolic and is unholy is not true it is ungregarious. sent8: if the workroom is a kind of an awkwardness that the pillar is not a Aalto or it is an agar or both does not hold. sent9: the jawfish is not a beaming. sent10: if there is something such that that it is not a Aalto and/or is an agar is wrong the jawfish is a kind of a tolerance. sent11: there is something such that the fact that it is not a encephalography and is equitable is incorrect. sent12: if the jawfish is both not a stationery and not a beaming it does frolic. sent13: the shoebill does not repot Sufism if there is something such that that it blinds shoebill and is not a kind of a anxiolytic is wrong. sent14: if there exists something such that that it is both not a encephalography and equitable is incorrect the hornist is not albuminuric. sent15: if something is a chord then it is a kind of an awkwardness. sent16: the jawfish is a kind of a Aalto and it is unholy. sent17: that the fact that the shoebill does lean Buchloe and dreams is incorrect is correct if it does not repot Sufism. sent18: the jawfish frolics if it is not a kind of a stationery and is a beaming. sent19: if the pillar is not a Aalto the fact that the jawfish frolics and is unholy is incorrect. sent20: the foreman chords but it is not a point. sent21: if the hornist is not albuminuric then the workroom is a point and/or it is a chord. sent22: there is something such that that it does blind shoebill and it is not a kind of a anxiolytic does not hold.
sent12 & sent3 -> int1: the jawfish frolics.; sent16 -> int2: the jawfish is unholy.; int1 & int2 -> hypothesis;
the jawfish is ungregarious and it is a tolerance.
sent7 -> int3: if that the jawfish does not frolic but it is unholy is false then it is ungregarious.; sent22 & sent13 -> int4: the shoebill does not repot Sufism.; sent17 & int4 -> int5: the fact that the shoebill does lean Buchloe and it dreams is false.; int5 -> int6: there is something such that that it does lean Buchloe and it is a dream is not true.; int6 & sent2 -> int7: the fact that the foreman does not repot mydriatic hold.; int7 -> int8: something does not repot mydriatic.; sent11 & sent14 -> int9: the hornist is not albuminuric.; sent21 & int9 -> int10: either the workroom points or it chords or both.; sent4 -> int11: if the workroom does point the fact that it is an awkwardness is right.; sent15 -> int12: the workroom is an awkwardness if it chords.; int10 & int11 & int12 -> int13: the workroom is an awkwardness.; sent8 & int13 -> int14: the fact that the pillar is not a Aalto and/or is an agar is not true.; int14 -> int15: there is something such that the fact that it is not a Aalto and/or it is an agar is not correct.; int15 & sent10 -> int16: the jawfish is a kind of a tolerance.;
$hypothesis$ = the jawfish does frolic and is unholy. ; $context$ = sent1: the strider is unholy. sent2: the foreman does not repot mydriatic if there exists something such that that it does lean Buchloe and is a dream is wrong. sent3: the jawfish is not a stationery and it is not a beaming. sent4: if something is a point it is an awkwardness. sent5: the jawfish is a kind of a Aalto. sent6: something is not a Aalto if it is an agar. sent7: if the fact that something does not frolic and is unholy is not true it is ungregarious. sent8: if the workroom is a kind of an awkwardness that the pillar is not a Aalto or it is an agar or both does not hold. sent9: the jawfish is not a beaming. sent10: if there is something such that that it is not a Aalto and/or is an agar is wrong the jawfish is a kind of a tolerance. sent11: there is something such that the fact that it is not a encephalography and is equitable is incorrect. sent12: if the jawfish is both not a stationery and not a beaming it does frolic. sent13: the shoebill does not repot Sufism if there is something such that that it blinds shoebill and is not a kind of a anxiolytic is wrong. sent14: if there exists something such that that it is both not a encephalography and equitable is incorrect the hornist is not albuminuric. sent15: if something is a chord then it is a kind of an awkwardness. sent16: the jawfish is a kind of a Aalto and it is unholy. sent17: that the fact that the shoebill does lean Buchloe and dreams is incorrect is correct if it does not repot Sufism. sent18: the jawfish frolics if it is not a kind of a stationery and is a beaming. sent19: if the pillar is not a Aalto the fact that the jawfish frolics and is unholy is incorrect. sent20: the foreman chords but it is not a point. sent21: if the hornist is not albuminuric then the workroom is a point and/or it is a chord. sent22: there is something such that that it does blind shoebill and it is not a kind of a anxiolytic does not hold. ; $proof$ = 
sent12 & sent3 -> int1: the jawfish frolics.; sent16 -> int2: the jawfish is unholy.; int1 & int2 -> hypothesis; __PROVED__