the fact that the western is not a seventeenth and it is not a kind of a Cantharellus is wrong.
sent1: if the western is higher then the fact that it is a seventeenth that is not a Cantharellus is false. sent2: if that the lepidopterist is not a gooseflesh or it is medieval or both is not true the stocks is a gooseflesh. sent3: the fact that the thrall is not non-choleraic but it is not a kind of a Treasury is not correct. sent4: that the thrall is a seventeenth but it is not a Treasury is false. sent5: something is demotic if it labors corvee. sent6: if that something is geopolitical and/or is not a Forficulidae does not hold then it is not a Yuman. sent7: the western is genital if something is not choleraic. sent8: if something does not fence the swiftlet rehabilitates stocks. sent9: the phenyltoloxamine labors corvee. sent10: that either the lepidopterist is not a kind of a gooseflesh or it is medieval or both is false. sent11: if there exists something such that it is not Yuman then either the phenyltoloxamine spends tarn or it labors corvee or both. sent12: that that the plot is geopolitical and/or it is not a Forficulidae is false is right if that the stocks is not anemographic is correct. sent13: if something is not higher then it is both not a seventeenth and not a Cantharellus. sent14: if the western is higher that it is not a seventeenth and is not a kind of a Cantharellus is false. sent15: if there exists something such that that it is choleraic and it is not a Treasury does not hold the western is higher. sent16: something is not anemographic if it is a gooseflesh. sent17: if the siren is not higher then the western is not higher. sent18: that the thrall is not higher and it is not a Treasury is incorrect if it is a Cantharellus. sent19: something is not higher if that it is demotic and does not spend tarn is wrong. sent20: if something does spend tarn it is demotic. sent21: the fact that the thrall rehabilitates stagecraft if there exists something such that the fact that it does spend Plagianthus and is not medieval is not correct is right.
sent3 -> int1: there exists something such that that it is choleraic and is not a Treasury is not right.; int1 & sent15 -> int2: the western is higher.; int2 & sent14 -> hypothesis;
the western is not a seventeenth and it is not a Cantharellus.
sent13 -> int3: the western is not a seventeenth and it is not a Cantharellus if it is not higher.; sent6 -> int4: if that the plot is geopolitical and/or it is not a Forficulidae is not right it is not a Yuman.; sent16 -> int5: if the stocks is a kind of a gooseflesh it is not anemographic.; sent2 & sent10 -> int6: the stocks is a gooseflesh.; int5 & int6 -> int7: the stocks is not anemographic.; sent12 & int7 -> int8: the fact that the plot is geopolitical or it is not a Forficulidae or both is not true.; int4 & int8 -> int9: the plot is not Yuman.; int9 -> int10: there is something such that it is non-Yuman.; int10 & sent11 -> int11: the phenyltoloxamine does spend tarn or does labor corvee or both.; sent20 -> int12: the phenyltoloxamine is demotic if it does spend tarn.; sent5 -> int13: if the phenyltoloxamine does labor corvee then it is demotic.; int11 & int12 & int13 -> int14: the phenyltoloxamine is demotic.; int14 -> int15: there is something such that it is demotic.;
$hypothesis$ = the fact that the western is not a seventeenth and it is not a kind of a Cantharellus is wrong. ; $context$ = sent1: if the western is higher then the fact that it is a seventeenth that is not a Cantharellus is false. sent2: if that the lepidopterist is not a gooseflesh or it is medieval or both is not true the stocks is a gooseflesh. sent3: the fact that the thrall is not non-choleraic but it is not a kind of a Treasury is not correct. sent4: that the thrall is a seventeenth but it is not a Treasury is false. sent5: something is demotic if it labors corvee. sent6: if that something is geopolitical and/or is not a Forficulidae does not hold then it is not a Yuman. sent7: the western is genital if something is not choleraic. sent8: if something does not fence the swiftlet rehabilitates stocks. sent9: the phenyltoloxamine labors corvee. sent10: that either the lepidopterist is not a kind of a gooseflesh or it is medieval or both is false. sent11: if there exists something such that it is not Yuman then either the phenyltoloxamine spends tarn or it labors corvee or both. sent12: that that the plot is geopolitical and/or it is not a Forficulidae is false is right if that the stocks is not anemographic is correct. sent13: if something is not higher then it is both not a seventeenth and not a Cantharellus. sent14: if the western is higher that it is not a seventeenth and is not a kind of a Cantharellus is false. sent15: if there exists something such that that it is choleraic and it is not a Treasury does not hold the western is higher. sent16: something is not anemographic if it is a gooseflesh. sent17: if the siren is not higher then the western is not higher. sent18: that the thrall is not higher and it is not a Treasury is incorrect if it is a Cantharellus. sent19: something is not higher if that it is demotic and does not spend tarn is wrong. sent20: if something does spend tarn it is demotic. sent21: the fact that the thrall rehabilitates stagecraft if there exists something such that the fact that it does spend Plagianthus and is not medieval is not correct is right. ; $proof$ = 
sent3 -> int1: there exists something such that that it is choleraic and is not a Treasury is not right.; int1 & sent15 -> int2: the western is higher.; int2 & sent14 -> hypothesis; __PROVED__