the scratchpad is not ichorous.
sent1: that something is not a charter if it does not refuel hold. sent2: if that the sorgo is a charter and it is a Samoan is not false then it is not a kind of a Dowland. sent3: the sorgo is not a charter if it does not refuel. sent4: the sorgo is not a charter. sent5: if something is not a Dowland then the fact that it is organicistic is not wrong. sent6: if the sorgo is not a Dowland it is organicistic. sent7: if the sorgo is a unenlightenment then it does not refuel. sent8: something is organicistic thing that is not an artery if that it is not a Dowland is not wrong. sent9: the sorgo is organicistic. sent10: the schnook is not a decimal. sent11: if something is not a laparocele then it is a plain and it does not impinge infection. sent12: if something does not refuel it is not a charter and it is a Samoan. sent13: the sorgo is a kind of a unenlightenment. sent14: something is not a kind of a Dowland if it does charter and it is a Samoan. sent15: if there exists something such that that it is both not an artery and non-organicistic is incorrect then that the pluralist does not refuel is true. sent16: the scratchpad is not organicistic. sent17: the scratchpad is a kind of a tap if the sorgo is not an artery. sent18: if something taps it is ichorous. sent19: something that is both not a charter and not non-Samoan is not a kind of a Dowland. sent20: the schnook is both a tap and a unenlightenment if it is not a decimal. sent21: that something is a kind of a Dowland and it is ichorous does not hold if it does not refuel. sent22: if something is a tap the fact that the sheepshank is not an artery and is not organicistic is not true. sent23: the sorgo is not a Tunisian if it is not ichorous and it does brief gore.
sent12 -> int1: the sorgo is not a charter but it is Samoan if it does not refuel.; sent7 & sent13 -> int2: the fact that the sorgo does not refuel is right.; int1 & int2 -> int3: the sorgo is not a charter and is Samoan.; sent19 -> int4: the sorgo is not a Dowland if it is both not a charter and Samoan.; int3 & int4 -> int5: the sorgo is not a kind of a Dowland.; sent8 -> int6: the sorgo is organicistic but it is not an artery if it is not a kind of a Dowland.; int5 & int6 -> int7: the sorgo is not non-organicistic and not an artery.; int7 -> int8: the fact that the sorgo is not an artery hold.; int8 & sent17 -> int9: the scratchpad is a tap.; sent18 -> int10: if the scratchpad is a tap then it is ichorous.; int9 & int10 -> hypothesis;
the scratchpad is not ichorous.
sent21 -> int11: that the pluralist is a Dowland and it is ichorous is incorrect if it does not refuel.; sent20 & sent10 -> int12: the schnook is a tap that is a kind of a unenlightenment.; int12 -> int13: the schnook does tap.; int13 -> int14: something is a tap.; int14 & sent22 -> int15: the fact that the sheepshank is not an artery and is not organicistic is wrong.; int15 -> int16: there is something such that that it is both not an artery and not organicistic is not correct.; int16 & sent15 -> int17: that the pluralist refuels is false.; int11 & int17 -> int18: the fact that the pluralist is both a Dowland and ichorous is not true.; int18 -> int19: there exists something such that that it is a Dowland and it is ichorous is not correct.;
$hypothesis$ = the scratchpad is not ichorous. ; $context$ = sent1: that something is not a charter if it does not refuel hold. sent2: if that the sorgo is a charter and it is a Samoan is not false then it is not a kind of a Dowland. sent3: the sorgo is not a charter if it does not refuel. sent4: the sorgo is not a charter. sent5: if something is not a Dowland then the fact that it is organicistic is not wrong. sent6: if the sorgo is not a Dowland it is organicistic. sent7: if the sorgo is a unenlightenment then it does not refuel. sent8: something is organicistic thing that is not an artery if that it is not a Dowland is not wrong. sent9: the sorgo is organicistic. sent10: the schnook is not a decimal. sent11: if something is not a laparocele then it is a plain and it does not impinge infection. sent12: if something does not refuel it is not a charter and it is a Samoan. sent13: the sorgo is a kind of a unenlightenment. sent14: something is not a kind of a Dowland if it does charter and it is a Samoan. sent15: if there exists something such that that it is both not an artery and non-organicistic is incorrect then that the pluralist does not refuel is true. sent16: the scratchpad is not organicistic. sent17: the scratchpad is a kind of a tap if the sorgo is not an artery. sent18: if something taps it is ichorous. sent19: something that is both not a charter and not non-Samoan is not a kind of a Dowland. sent20: the schnook is both a tap and a unenlightenment if it is not a decimal. sent21: that something is a kind of a Dowland and it is ichorous does not hold if it does not refuel. sent22: if something is a tap the fact that the sheepshank is not an artery and is not organicistic is not true. sent23: the sorgo is not a Tunisian if it is not ichorous and it does brief gore. ; $proof$ = 
sent12 -> int1: the sorgo is not a charter but it is Samoan if it does not refuel.; sent7 & sent13 -> int2: the fact that the sorgo does not refuel is right.; int1 & int2 -> int3: the sorgo is not a charter and is Samoan.; sent19 -> int4: the sorgo is not a Dowland if it is both not a charter and Samoan.; int3 & int4 -> int5: the sorgo is not a kind of a Dowland.; sent8 -> int6: the sorgo is organicistic but it is not an artery if it is not a kind of a Dowland.; int5 & int6 -> int7: the sorgo is not non-organicistic and not an artery.; int7 -> int8: the fact that the sorgo is not an artery hold.; int8 & sent17 -> int9: the scratchpad is a tap.; sent18 -> int10: if the scratchpad is a tap then it is ichorous.; int9 & int10 -> hypothesis; __DISPROVED__