the pocket-handkerchief is a kind of a carbonation and it is a potshot.
sent1: if the pocket-handkerchief is not non-theocratic it is a kind of a potshot. sent2: if the girandole is not a kind of a potshot then it is gymnastic and it is a kind of a sogginess. sent3: something is a Camden if it is monoecious. sent4: something is a Tera if it is a disavowal. sent5: if the girandole is not gymnastic the blubber is not a Tera. sent6: the grunt is polymeric and it is monoecious if it is not a kind of a Gallinula. sent7: the samarskite is a disavowal. sent8: the pocket-handkerchief is theocratic. sent9: that the blubber is not a sogginess but it is gymnastic is not true if there is something such that it is a kind of a Tera. sent10: if the samarskite is not a statement but it is a kind of a disavowal the grunt does garrison. sent11: the girandole is not gymnastic if it is not a sogginess. sent12: the samarskite is not a statement but it is a kind of a disavowal if the blubber is not a Tera. sent13: the fact that the pocket-handkerchief is a carbonation is not false if there is something such that it is both a Camden and a garrison. sent14: the girandole is not a sogginess.
sent11 & sent14 -> int1: the fact that the girandole is non-gymnastic is not wrong.; int1 & sent5 -> int2: the blubber is not a Tera.; int2 & sent12 -> int3: the samarskite is not a statement but it is a disavowal.; int3 & sent10 -> int4: the grunt garrisons.; sent3 -> int5: that the grunt is a Camden hold if it is monoecious.; sent1 & sent8 -> int6: the pocket-handkerchief is a potshot.;
that the pocket-handkerchief is a carbonation and it is a potshot does not hold.
sent4 -> int7: if the samarskite is a disavowal it is a Tera.; int7 & sent7 -> int8: the samarskite is a kind of a Tera.; int8 -> int9: there exists something such that it is a Tera.; int9 & sent9 -> int10: that the blubber is not a kind of a sogginess and is gymnastic does not hold.; int10 -> int11: there is something such that that it is not a sogginess but gymnastic is false.;
$hypothesis$ = the pocket-handkerchief is a kind of a carbonation and it is a potshot. ; $context$ = sent1: if the pocket-handkerchief is not non-theocratic it is a kind of a potshot. sent2: if the girandole is not a kind of a potshot then it is gymnastic and it is a kind of a sogginess. sent3: something is a Camden if it is monoecious. sent4: something is a Tera if it is a disavowal. sent5: if the girandole is not gymnastic the blubber is not a Tera. sent6: the grunt is polymeric and it is monoecious if it is not a kind of a Gallinula. sent7: the samarskite is a disavowal. sent8: the pocket-handkerchief is theocratic. sent9: that the blubber is not a sogginess but it is gymnastic is not true if there is something such that it is a kind of a Tera. sent10: if the samarskite is not a statement but it is a kind of a disavowal the grunt does garrison. sent11: the girandole is not gymnastic if it is not a sogginess. sent12: the samarskite is not a statement but it is a kind of a disavowal if the blubber is not a Tera. sent13: the fact that the pocket-handkerchief is a carbonation is not false if there is something such that it is both a Camden and a garrison. sent14: the girandole is not a sogginess. ; $proof$ = 
sent11 & sent14 -> int1: the fact that the girandole is non-gymnastic is not wrong.; int1 & sent5 -> int2: the blubber is not a Tera.; int2 & sent12 -> int3: the samarskite is not a statement but it is a disavowal.; int3 & sent10 -> int4: the grunt garrisons.; sent3 -> int5: that the grunt is a Camden hold if it is monoecious.; sent1 & sent8 -> int6: the pocket-handkerchief is a potshot.; __UNKNOWN__