the fact that there exists something such that if that it is not a kind of a gouger and it is not incurious is not correct it is not a Pianola does not hold.
sent1: the creature is not a kind of a Pianola if it is not curious. sent2: if the fact that the creature is a gouger but it is not incurious does not hold it is not a Pianola. sent3: there exists something such that if it is not a gouger and is not incurious then it is not a kind of a Pianola. sent4: if the fact that something does not hoard and it is not discourteous is not correct then the fact that it is not a tineid is not incorrect. sent5: something that is both not pleasant and not a faint does not chain-smoke. sent6: the creature is a Pianola if the fact that it is not a kind of a gouger and it is not incurious is wrong. sent7: if something that is not an allotment is not a tineid it is not a Transcaucasia. sent8: the fact that the creature is not a Pianola is not wrong if it is not a gouger and not incurious. sent9: if that something is both non-anthropocentric and non-polymorphemic is not correct then it does not harden ravaging. sent10: there is something such that if the fact that it is both a gouger and not incurious is incorrect then it is not a Pianola. sent11: if the fact that something is both not a gouger and not incurious is not correct it is not a Pianola. sent12: if something that is not a kind of a gouger is not incurious it is not a Pianola. sent13: there is something such that if that it is not a gouger and not incurious does not hold that it is a kind of a Pianola is right. sent14: if that something is a gouger and is not incurious is not right then the fact that it is not a Pianola is true. sent15: there exists something such that if it is incurious it is not a Pianola. sent16: something is a Pianola if the fact that it is not a gouger and it is not incurious is incorrect. sent17: something that does restart half-life is not a kind of an evergreen.
sent11 -> int1: if that the creature is both not a gouger and not incurious is incorrect it is not a Pianola.; int1 -> hypothesis;
if that the creature is not a kind of a hoard and it is not discourteous is not true then it is not a tineid.
sent4 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if that it is not a kind of a gouger and it is not incurious is not correct it is not a Pianola does not hold. ; $context$ = sent1: the creature is not a kind of a Pianola if it is not curious. sent2: if the fact that the creature is a gouger but it is not incurious does not hold it is not a Pianola. sent3: there exists something such that if it is not a gouger and is not incurious then it is not a kind of a Pianola. sent4: if the fact that something does not hoard and it is not discourteous is not correct then the fact that it is not a tineid is not incorrect. sent5: something that is both not pleasant and not a faint does not chain-smoke. sent6: the creature is a Pianola if the fact that it is not a kind of a gouger and it is not incurious is wrong. sent7: if something that is not an allotment is not a tineid it is not a Transcaucasia. sent8: the fact that the creature is not a Pianola is not wrong if it is not a gouger and not incurious. sent9: if that something is both non-anthropocentric and non-polymorphemic is not correct then it does not harden ravaging. sent10: there is something such that if the fact that it is both a gouger and not incurious is incorrect then it is not a Pianola. sent11: if the fact that something is both not a gouger and not incurious is not correct it is not a Pianola. sent12: if something that is not a kind of a gouger is not incurious it is not a Pianola. sent13: there is something such that if that it is not a gouger and not incurious does not hold that it is a kind of a Pianola is right. sent14: if that something is a gouger and is not incurious is not right then the fact that it is not a Pianola is true. sent15: there exists something such that if it is incurious it is not a Pianola. sent16: something is a Pianola if the fact that it is not a gouger and it is not incurious is incorrect. sent17: something that does restart half-life is not a kind of an evergreen. ; $proof$ = 
sent11 -> int1: if that the creature is both not a gouger and not incurious is incorrect it is not a Pianola.; int1 -> hypothesis; __DISPROVED__