the Shahaptian is a jubilee.
sent1: if that the Ranger is a lactase hold the sulky does not lather contester. sent2: the sulky shouts if the peach obscures. sent3: the fact that the handbook is not a cumin hold. sent4: if the jaggery is not an anecdote that it hurtles bitok and is not a favorite is not right. sent5: the peach does obscure or it tides or both if there exists something such that it does not hurtle punch. sent6: the sulky does not lather contester but it enrolls if the Ranger is a kind of a lactase. sent7: something is not a kind of a blob if that it does not shout and tides is wrong. sent8: if the sulky does lather contester and does enroll then the peach is a kind of a blob. sent9: something is a favorite if the fact that it hurtles bitok and it is not a favorite is not correct. sent10: if that the handbook is not etiological and/or it is a cumin is wrong then the Shahaptian is not a jubilee. sent11: that the handbook is not a cumin is not wrong if the fact that the Ranger is not a lactase is right. sent12: if the Shahaptian is not a blob then that the peach does not shout and/or it is a jubilee is not true. sent13: something is a kind of a lactase and it is a kind of a jubilee if it is not a blob. sent14: the fact that either the handbook is not etiological or it is a cumin or both is incorrect if that the Ranger is not a kind of a lactase is right. sent15: the disaccharide is not a greatcoat but it is a lactase. sent16: if the Ranger is a kind of a cumin but it is not etiological then the fact that the Shahaptian is not a blob is right. sent17: the jaggery is not a kind of an anecdote. sent18: if the peach is a lactase the fact that it does not tide and it enrolls is incorrect. sent19: the peach does obscure. sent20: if the sulky does not lather contester and enrolls the peach is a blob. sent21: something is not a blob if it is not a kind of a tide. sent22: the fact that the peach does not shout but it is a tide is not right if it does obscure. sent23: if the jaggery is a favorite then the handbook does not hurtle punch. sent24: if the peach is not a tide then it is not a kind of a blob.
void -> assump1: Let's assume that that the Ranger is a lactase hold.; sent6 & assump1 -> int1: the sulky does not lather contester and does enroll.; int1 & sent20 -> int2: the peach is a kind of a blob.; sent7 -> int3: if the fact that that the peach does not shout but it tides is false is true then it is not a kind of a blob.; sent22 & sent19 -> int4: the fact that the peach does not shout but it tides does not hold.; int3 & int4 -> int5: the peach is not a blob.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Ranger is not a lactase.; int7 & sent14 -> int8: that either the handbook is not etiological or it is a cumin or both does not hold.; int8 & sent10 -> hypothesis;
the Shahaptian is a kind of a jubilee.
sent13 -> int9: if the fact that the Shahaptian is not a blob is right it is a kind of a lactase and it is a kind of a jubilee.; sent9 -> int10: the jaggery is a favorite if that it does hurtle bitok and it is not a kind of a favorite is not correct.; sent4 & sent17 -> int11: that the jaggery does hurtle bitok and is not a favorite is not correct.; int10 & int11 -> int12: the jaggery is a kind of a favorite.; sent23 & int12 -> int13: the handbook does not hurtle punch.; int13 -> int14: there exists something such that it does not hurtle punch.; int14 & sent5 -> int15: the peach obscures or tides or both.;
$hypothesis$ = the Shahaptian is a jubilee. ; $context$ = sent1: if that the Ranger is a lactase hold the sulky does not lather contester. sent2: the sulky shouts if the peach obscures. sent3: the fact that the handbook is not a cumin hold. sent4: if the jaggery is not an anecdote that it hurtles bitok and is not a favorite is not right. sent5: the peach does obscure or it tides or both if there exists something such that it does not hurtle punch. sent6: the sulky does not lather contester but it enrolls if the Ranger is a kind of a lactase. sent7: something is not a kind of a blob if that it does not shout and tides is wrong. sent8: if the sulky does lather contester and does enroll then the peach is a kind of a blob. sent9: something is a favorite if the fact that it hurtles bitok and it is not a favorite is not correct. sent10: if that the handbook is not etiological and/or it is a cumin is wrong then the Shahaptian is not a jubilee. sent11: that the handbook is not a cumin is not wrong if the fact that the Ranger is not a lactase is right. sent12: if the Shahaptian is not a blob then that the peach does not shout and/or it is a jubilee is not true. sent13: something is a kind of a lactase and it is a kind of a jubilee if it is not a blob. sent14: the fact that either the handbook is not etiological or it is a cumin or both is incorrect if that the Ranger is not a kind of a lactase is right. sent15: the disaccharide is not a greatcoat but it is a lactase. sent16: if the Ranger is a kind of a cumin but it is not etiological then the fact that the Shahaptian is not a blob is right. sent17: the jaggery is not a kind of an anecdote. sent18: if the peach is a lactase the fact that it does not tide and it enrolls is incorrect. sent19: the peach does obscure. sent20: if the sulky does not lather contester and enrolls the peach is a blob. sent21: something is not a blob if it is not a kind of a tide. sent22: the fact that the peach does not shout but it is a tide is not right if it does obscure. sent23: if the jaggery is a favorite then the handbook does not hurtle punch. sent24: if the peach is not a tide then it is not a kind of a blob. ; $proof$ = 
void -> assump1: Let's assume that that the Ranger is a lactase hold.; sent6 & assump1 -> int1: the sulky does not lather contester and does enroll.; int1 & sent20 -> int2: the peach is a kind of a blob.; sent7 -> int3: if the fact that that the peach does not shout but it tides is false is true then it is not a kind of a blob.; sent22 & sent19 -> int4: the fact that the peach does not shout but it tides does not hold.; int3 & int4 -> int5: the peach is not a blob.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Ranger is not a lactase.; int7 & sent14 -> int8: that either the handbook is not etiological or it is a cumin or both does not hold.; int8 & sent10 -> hypothesis; __DISPROVED__