there exists something such that if that it does not overrefine viewpoint and is a kind of a parka is incorrect then it is not a wristband.
sent1: there is something such that if that it does not turn and galumphs is not true that it is pleural is right. sent2: the grassfinch is not a kind of a wristband if it does not overrefine viewpoint and is a kind of a parka. sent3: something does not congratulate precursor if it is not a candlelight. sent4: the grassfinch is a kind of a wristband if the fact that it does not overrefine viewpoint and is a parka does not hold. sent5: if the grassfinch is not a countermeasure then it does not page homing. sent6: if the grassfinch is not a wristband then it is not a fester. sent7: if something that is not a Honolulu is unwearable it is not rigid. sent8: there exists something such that if that it is umbelliform and it is aptitudinal is incorrect it is not an obsidian. sent9: there exists something such that if that it is not a Montanan and congratulates apparition is not correct it does not congratulate Manet. sent10: there is something such that if that it does not absolve and is a kind of a muskellunge is wrong it is a whitefly. sent11: there is something such that if it does not overrefine viewpoint and is a parka it is not a kind of a wristband. sent12: if the fact that something does not overrefine viewpoint but it is a parka is wrong it is not a wristband. sent13: something is not a wristband if it is not a kind of a parka. sent14: something is not international if the fact that it iterates and cranks is not true. sent15: there exists something such that if it is not a parka then that it is not a wristband is not incorrect. sent16: if the grassfinch does not overrefine viewpoint but it does splurge then it does not congratulate precursor. sent17: there is something such that if the fact that it does not page unreality and it is a radial does not hold it does page symphonist. sent18: if the fact that something is not laryngeal but it is undesirous does not hold then it is not a mashie. sent19: the Restoration is not a cord if it is not glycogenic and it is a wristband. sent20: if the fact that something does obey and consubstantiates is incorrect it does not page baize.
sent12 -> int1: the grassfinch is not a kind of a wristband if the fact that it does not overrefine viewpoint and is a kind of a parka is not right.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does not overrefine viewpoint and is a kind of a parka is incorrect then it is not a wristband. ; $context$ = sent1: there is something such that if that it does not turn and galumphs is not true that it is pleural is right. sent2: the grassfinch is not a kind of a wristband if it does not overrefine viewpoint and is a kind of a parka. sent3: something does not congratulate precursor if it is not a candlelight. sent4: the grassfinch is a kind of a wristband if the fact that it does not overrefine viewpoint and is a parka does not hold. sent5: if the grassfinch is not a countermeasure then it does not page homing. sent6: if the grassfinch is not a wristband then it is not a fester. sent7: if something that is not a Honolulu is unwearable it is not rigid. sent8: there exists something such that if that it is umbelliform and it is aptitudinal is incorrect it is not an obsidian. sent9: there exists something such that if that it is not a Montanan and congratulates apparition is not correct it does not congratulate Manet. sent10: there is something such that if that it does not absolve and is a kind of a muskellunge is wrong it is a whitefly. sent11: there is something such that if it does not overrefine viewpoint and is a parka it is not a kind of a wristband. sent12: if the fact that something does not overrefine viewpoint but it is a parka is wrong it is not a wristband. sent13: something is not a wristband if it is not a kind of a parka. sent14: something is not international if the fact that it iterates and cranks is not true. sent15: there exists something such that if it is not a parka then that it is not a wristband is not incorrect. sent16: if the grassfinch does not overrefine viewpoint but it does splurge then it does not congratulate precursor. sent17: there is something such that if the fact that it does not page unreality and it is a radial does not hold it does page symphonist. sent18: if the fact that something is not laryngeal but it is undesirous does not hold then it is not a mashie. sent19: the Restoration is not a cord if it is not glycogenic and it is a wristband. sent20: if the fact that something does obey and consubstantiates is incorrect it does not page baize. ; $proof$ = 
sent12 -> int1: the grassfinch is not a kind of a wristband if the fact that it does not overrefine viewpoint and is a kind of a parka is not right.; int1 -> hypothesis; __PROVED__