the guppy is painful.
sent1: that the guppy is not a kind of a air-intake if the withdrawer is poetic and Tajikistani hold. sent2: something is painless if it is not a air-intake. sent3: if that something is a Seljuk is correct then the fact that it is Tajikistani hold. sent4: something is not painless if that it is a kind of a pounce and it is painless is false. sent5: the fact that the withdrawer is arthromeric and it does color is incorrect if there is something such that the fact that it is a relative is not incorrect. sent6: if the fact that the hatchel does scream supported is incorrect then the withdrawer is a pounce. sent7: the withdrawer is poetic and it is arthromeric. sent8: there is something such that that it is autotypic but not non-ammoniac is not correct. sent9: something does not scream supported if the fact that it is not indeterminable and/or it is a Seljuk is not true. sent10: if something is anthropic it does hitch Dreissena. sent11: if the hatchel is not arthromeric then the withdrawer is a Seljuk. sent12: if something is not indeterminable then it is a Seljuk. sent13: that something is not Tajikistani or it is a air-intake or both does not hold if it is not poetic. sent14: if that there is something such that the fact that it is both autotypic and a ammoniac does not hold is true the hatchel does not scream supported. sent15: the fact that something is a pounce and it is painless does not hold if the fact that it does not scream supported hold. sent16: if something pounces then it is determinable. sent17: the guppy is not Tajikistani if that the hatchel is not Tajikistani or is a kind of a air-intake or both does not hold. sent18: there exists something such that that it is a relative is right.
sent8 & sent14 -> int1: the hatchel does not scream supported.; int1 & sent6 -> int2: the withdrawer is a kind of a pounce.; sent16 -> int3: the withdrawer is determinable if it is a kind of a pounce.; int2 & int3 -> int4: the withdrawer is determinable.; sent12 -> int5: if the withdrawer is determinable then it is Seljuk.; int4 & int5 -> int6: the withdrawer is a Seljuk.; sent3 -> int7: that the withdrawer is Tajikistani is not wrong if it is Seljuk.; int6 & int7 -> int8: the withdrawer is Tajikistani.; sent7 -> int9: the fact that the withdrawer is poetic is not wrong.; int8 & int9 -> int10: the withdrawer is a kind of poetic thing that is Tajikistani.; int10 & sent1 -> int11: the guppy is not a kind of a air-intake.; sent2 -> int12: if the guppy is not a kind of a air-intake it is painless.; int11 & int12 -> hypothesis;
the guppy is not painless.
sent4 -> int13: if that the guppy does pounce and is not painful is incorrect it is not painful.; sent15 -> int14: the fact that the guppy does pounce and it is painless is wrong if it does not scream supported.; sent9 -> int15: the guppy does not scream supported if that it is determinable and/or it is a kind of a Seljuk is not true.; sent13 -> int16: if the hatchel is not poetic the fact that it is either not Tajikistani or a air-intake or both does not hold.; sent18 & sent5 -> int17: that the withdrawer is arthromeric and color is not right.; int17 -> int18: the fact that there is something such that that it is both arthromeric and color does not hold is not incorrect.;
$hypothesis$ = the guppy is painful. ; $context$ = sent1: that the guppy is not a kind of a air-intake if the withdrawer is poetic and Tajikistani hold. sent2: something is painless if it is not a air-intake. sent3: if that something is a Seljuk is correct then the fact that it is Tajikistani hold. sent4: something is not painless if that it is a kind of a pounce and it is painless is false. sent5: the fact that the withdrawer is arthromeric and it does color is incorrect if there is something such that the fact that it is a relative is not incorrect. sent6: if the fact that the hatchel does scream supported is incorrect then the withdrawer is a pounce. sent7: the withdrawer is poetic and it is arthromeric. sent8: there is something such that that it is autotypic but not non-ammoniac is not correct. sent9: something does not scream supported if the fact that it is not indeterminable and/or it is a Seljuk is not true. sent10: if something is anthropic it does hitch Dreissena. sent11: if the hatchel is not arthromeric then the withdrawer is a Seljuk. sent12: if something is not indeterminable then it is a Seljuk. sent13: that something is not Tajikistani or it is a air-intake or both does not hold if it is not poetic. sent14: if that there is something such that the fact that it is both autotypic and a ammoniac does not hold is true the hatchel does not scream supported. sent15: the fact that something is a pounce and it is painless does not hold if the fact that it does not scream supported hold. sent16: if something pounces then it is determinable. sent17: the guppy is not Tajikistani if that the hatchel is not Tajikistani or is a kind of a air-intake or both does not hold. sent18: there exists something such that that it is a relative is right. ; $proof$ = 
sent8 & sent14 -> int1: the hatchel does not scream supported.; int1 & sent6 -> int2: the withdrawer is a kind of a pounce.; sent16 -> int3: the withdrawer is determinable if it is a kind of a pounce.; int2 & int3 -> int4: the withdrawer is determinable.; sent12 -> int5: if the withdrawer is determinable then it is Seljuk.; int4 & int5 -> int6: the withdrawer is a Seljuk.; sent3 -> int7: that the withdrawer is Tajikistani is not wrong if it is Seljuk.; int6 & int7 -> int8: the withdrawer is Tajikistani.; sent7 -> int9: the fact that the withdrawer is poetic is not wrong.; int8 & int9 -> int10: the withdrawer is a kind of poetic thing that is Tajikistani.; int10 & sent1 -> int11: the guppy is not a kind of a air-intake.; sent2 -> int12: if the guppy is not a kind of a air-intake it is painless.; int11 & int12 -> hypothesis; __DISPROVED__