the Mandarin is a Genevan.
sent1: if something is not a claret then that the cards does not toss Vivaldi and is a disturber is not correct. sent2: either something is not anaphrodisiac or it does not outgrow Goncourt or both if that it does not toss hope is true. sent3: if the clouding is not anaphrodisiac then it does outgrow Goncourt. sent4: if something is not anaphrodisiac and/or it does not outgrow Goncourt then it whizzes. sent5: if something is a kind of a sketch it is a Genevan but not appellative. sent6: there is something such that it tosses hope. sent7: if something does outgrow Goncourt and it is anaphrodisiac it is not a Genevan. sent8: the clouding tosses hope. sent9: there exists something such that it does outgrow Goncourt. sent10: the polyanthus is not a claret. sent11: the Mandarin is a Genevan if it is appellative. sent12: the beefsteak is anaphrodisiac. sent13: that the Mandarin is appellative if there is something such that it outgrows Goncourt and tosses hope is not false. sent14: the clouding is a hegari and it is a sketch. sent15: the Mandarin does not toss hope if a Genevan is non-appellative. sent16: the cowl is non-appellative if something is a Genevan. sent17: the Mandarin is not anaphrodisiac. sent18: The hope tosses clouding. sent19: the cards tosses Vivaldi if the fact that it does not tosses Vivaldi and is a kind of a disturber is not right. sent20: the clouding is not anaphrodisiac. sent21: if that the Mandarin is not a sketch and is not a Genevan is not true then the clouding is a Genevan. sent22: if there exists something such that it tosses Vivaldi the Mandarin does hone cards and is Nordic.
sent3 & sent20 -> int1: the clouding does outgrow Goncourt.; int1 & sent8 -> int2: the clouding does outgrow Goncourt and tosses hope.; int2 -> int3: there is something such that it outgrows Goncourt and tosses hope.; int3 & sent13 -> int4: the Mandarin is appellative.; int4 & sent11 -> hypothesis;
the cowl does outgrow Goncourt.
$hypothesis$ = the Mandarin is a Genevan. ; $context$ = sent1: if something is not a claret then that the cards does not toss Vivaldi and is a disturber is not correct. sent2: either something is not anaphrodisiac or it does not outgrow Goncourt or both if that it does not toss hope is true. sent3: if the clouding is not anaphrodisiac then it does outgrow Goncourt. sent4: if something is not anaphrodisiac and/or it does not outgrow Goncourt then it whizzes. sent5: if something is a kind of a sketch it is a Genevan but not appellative. sent6: there is something such that it tosses hope. sent7: if something does outgrow Goncourt and it is anaphrodisiac it is not a Genevan. sent8: the clouding tosses hope. sent9: there exists something such that it does outgrow Goncourt. sent10: the polyanthus is not a claret. sent11: the Mandarin is a Genevan if it is appellative. sent12: the beefsteak is anaphrodisiac. sent13: that the Mandarin is appellative if there is something such that it outgrows Goncourt and tosses hope is not false. sent14: the clouding is a hegari and it is a sketch. sent15: the Mandarin does not toss hope if a Genevan is non-appellative. sent16: the cowl is non-appellative if something is a Genevan. sent17: the Mandarin is not anaphrodisiac. sent18: The hope tosses clouding. sent19: the cards tosses Vivaldi if the fact that it does not tosses Vivaldi and is a kind of a disturber is not right. sent20: the clouding is not anaphrodisiac. sent21: if that the Mandarin is not a sketch and is not a Genevan is not true then the clouding is a Genevan. sent22: if there exists something such that it tosses Vivaldi the Mandarin does hone cards and is Nordic. ; $proof$ = 
sent3 & sent20 -> int1: the clouding does outgrow Goncourt.; int1 & sent8 -> int2: the clouding does outgrow Goncourt and tosses hope.; int2 -> int3: there is something such that it outgrows Goncourt and tosses hope.; int3 & sent13 -> int4: the Mandarin is appellative.; int4 & sent11 -> hypothesis; __PROVED__