the Eight is a gammon and it hopes.
sent1: if the icepick is an unfortunate the coolie is arthralgic thing that is not a olecranon. sent2: the greenwood is not non-arthralgic. sent3: the Eight is not a rudapithecus and it is not a olecranon if the greenwood is not a rudapithecus. sent4: if something is fungal it is a Electrophoridae. sent5: if the bison is arthralgic the greenwood is not a kind of a rudapithecus. sent6: the icepick is an unfortunate if something stubs deadwood and is a Electrophoridae. sent7: the Eight is a kind of a gammon if it is not a rudapithecus and it is not a kind of a olecranon. sent8: the Eight is not a rudapithecus. sent9: if the lark is not fungal the Eight does stub deadwood and it does hope. sent10: the Eight is not a rudapithecus and does not percuss if the bison is not a rudapithecus. sent11: if something does not percuss then it is arthralgic. sent12: something that does wail is a turbidity. sent13: if something that is arthralgic is not a kind of a olecranon the gyrocompass does not percuss. sent14: the plethodont does wail. sent15: the plethodont is not cellulosid but it is fungal. sent16: if the plethodont is a turbidity then it stubs deadwood. sent17: something is not an unfortunate and is not a kind of a Electrophoridae. sent18: if something is not unfortunate and it is not a Electrophoridae the bison does not percuss. sent19: that the lark is not fungal is true. sent20: if the gyrocompass does not percuss then the lark is both not a rudapithecus and a gammon. sent21: if the lark is not a rudapithecus but a gammon that the greenwood is not a gammon is not false.
sent11 -> int1: if the bison does not percuss then it is arthralgic.; sent17 & sent18 -> int2: the bison does not percuss.; int1 & int2 -> int3: the bison is arthralgic.; int3 & sent5 -> int4: the greenwood is not a kind of a rudapithecus.; int4 & sent3 -> int5: the Eight is not a kind of a rudapithecus and it is not a kind of a olecranon.; int5 & sent7 -> int6: the Eight is a gammon.; sent9 & sent19 -> int7: the Eight does stub deadwood and it is a hope.; int7 -> int8: the Eight is a hope.; int6 & int8 -> hypothesis;
that the Eight is a kind of a gammon that does hope is not right.
sent12 -> int9: if the plethodont does wail then it is a turbidity.; int9 & sent14 -> int10: the plethodont is a turbidity.; sent16 & int10 -> int11: the plethodont stubs deadwood.; sent4 -> int12: the plethodont is a kind of a Electrophoridae if it is fungal.; sent15 -> int13: the plethodont is fungal.; int12 & int13 -> int14: the plethodont is a Electrophoridae.; int11 & int14 -> int15: the plethodont stubs deadwood and it is a Electrophoridae.; int15 -> int16: there is something such that it does stub deadwood and is a kind of a Electrophoridae.; int16 & sent6 -> int17: the icepick is a kind of an unfortunate.; sent1 & int17 -> int18: the coolie is arthralgic but it is not a kind of a olecranon.; int18 -> int19: there is something such that it is arthralgic but not a olecranon.; int19 & sent13 -> int20: the gyrocompass does not percuss.; sent20 & int20 -> int21: the lark is not a kind of a rudapithecus but it is a gammon.; sent21 & int21 -> int22: the greenwood is not a gammon.; int22 -> int23: there is something such that it is not a gammon.;
$hypothesis$ = the Eight is a gammon and it hopes. ; $context$ = sent1: if the icepick is an unfortunate the coolie is arthralgic thing that is not a olecranon. sent2: the greenwood is not non-arthralgic. sent3: the Eight is not a rudapithecus and it is not a olecranon if the greenwood is not a rudapithecus. sent4: if something is fungal it is a Electrophoridae. sent5: if the bison is arthralgic the greenwood is not a kind of a rudapithecus. sent6: the icepick is an unfortunate if something stubs deadwood and is a Electrophoridae. sent7: the Eight is a kind of a gammon if it is not a rudapithecus and it is not a kind of a olecranon. sent8: the Eight is not a rudapithecus. sent9: if the lark is not fungal the Eight does stub deadwood and it does hope. sent10: the Eight is not a rudapithecus and does not percuss if the bison is not a rudapithecus. sent11: if something does not percuss then it is arthralgic. sent12: something that does wail is a turbidity. sent13: if something that is arthralgic is not a kind of a olecranon the gyrocompass does not percuss. sent14: the plethodont does wail. sent15: the plethodont is not cellulosid but it is fungal. sent16: if the plethodont is a turbidity then it stubs deadwood. sent17: something is not an unfortunate and is not a kind of a Electrophoridae. sent18: if something is not unfortunate and it is not a Electrophoridae the bison does not percuss. sent19: that the lark is not fungal is true. sent20: if the gyrocompass does not percuss then the lark is both not a rudapithecus and a gammon. sent21: if the lark is not a rudapithecus but a gammon that the greenwood is not a gammon is not false. ; $proof$ = 
sent11 -> int1: if the bison does not percuss then it is arthralgic.; sent17 & sent18 -> int2: the bison does not percuss.; int1 & int2 -> int3: the bison is arthralgic.; int3 & sent5 -> int4: the greenwood is not a kind of a rudapithecus.; int4 & sent3 -> int5: the Eight is not a kind of a rudapithecus and it is not a kind of a olecranon.; int5 & sent7 -> int6: the Eight is a gammon.; sent9 & sent19 -> int7: the Eight does stub deadwood and it is a hope.; int7 -> int8: the Eight is a hope.; int6 & int8 -> hypothesis; __PROVED__