the herald is a Malraux and does solemnize Cambridge.
sent1: the herald is a metic. sent2: there exists something such that that it warms and it is postglacial does not hold. sent3: the wahoo is not a Danaea if the fact that the herald is not a Malraux is correct. sent4: if the wahoo is not a Danaea the subsidiary is a Danaea that is postglacial. sent5: the subsidiary does tease Gliridae. sent6: that the subsidiary is a kind of a Danaea if the fact that the wahoo is not a Danaea hold hold. sent7: the herald does not warm. sent8: if there is something such that the fact that it is a amygdalin that is a metic is wrong then the subsidiary is not warming. sent9: there is something such that the fact that it is postglacial and it is warming is not correct. sent10: the herald does not warm if there is something such that that it is a Malraux and it is a Danaea is not right. sent11: there exists something such that that it is not a amygdalin and not a metic is false. sent12: the weekly is postglacial if the man-eater is a amygdalin. sent13: that the tortoise is not warming is not false. sent14: that the herald is a Danaea is not incorrect if it solemnizes Cambridge. sent15: if the subsidiary is not a kind of a Danaea then the herald is a Danaea and it does solemnize Cambridge. sent16: if the subsidiary is postglacial then that it does warm is not false. sent17: if there exists something such that that it is both not a amygdalin and not a metic is not correct the man-eater is a amygdalin. sent18: that the herald solemnizes Cambridge is true. sent19: That the Cambridge solemnizes herald is true. sent20: the herald is postglacial. sent21: the wahoo does quell. sent22: the subsidiary is not a stent.
void -> assump1: Let's assume that that the herald is not a kind of a Malraux is right.; sent3 & assump1 -> int1: the wahoo is not a Danaea.; int1 & sent4 -> int2: the subsidiary is both a Danaea and postglacial.; int2 -> int3: the fact that the subsidiary is postglacial is right.; int3 & sent16 -> int4: the subsidiary warms.;
the fact that the herald is a Malraux and it solemnizes Cambridge does not hold.
sent11 & sent17 -> int5: the man-eater is a kind of a amygdalin.; sent12 & int5 -> int6: the weekly is postglacial.; int6 -> int7: there exists something such that it is postglacial.;
$hypothesis$ = the herald is a Malraux and does solemnize Cambridge. ; $context$ = sent1: the herald is a metic. sent2: there exists something such that that it warms and it is postglacial does not hold. sent3: the wahoo is not a Danaea if the fact that the herald is not a Malraux is correct. sent4: if the wahoo is not a Danaea the subsidiary is a Danaea that is postglacial. sent5: the subsidiary does tease Gliridae. sent6: that the subsidiary is a kind of a Danaea if the fact that the wahoo is not a Danaea hold hold. sent7: the herald does not warm. sent8: if there is something such that the fact that it is a amygdalin that is a metic is wrong then the subsidiary is not warming. sent9: there is something such that the fact that it is postglacial and it is warming is not correct. sent10: the herald does not warm if there is something such that that it is a Malraux and it is a Danaea is not right. sent11: there exists something such that that it is not a amygdalin and not a metic is false. sent12: the weekly is postglacial if the man-eater is a amygdalin. sent13: that the tortoise is not warming is not false. sent14: that the herald is a Danaea is not incorrect if it solemnizes Cambridge. sent15: if the subsidiary is not a kind of a Danaea then the herald is a Danaea and it does solemnize Cambridge. sent16: if the subsidiary is postglacial then that it does warm is not false. sent17: if there exists something such that that it is both not a amygdalin and not a metic is not correct the man-eater is a amygdalin. sent18: that the herald solemnizes Cambridge is true. sent19: That the Cambridge solemnizes herald is true. sent20: the herald is postglacial. sent21: the wahoo does quell. sent22: the subsidiary is not a stent. ; $proof$ = 
void -> assump1: Let's assume that that the herald is not a kind of a Malraux is right.; sent3 & assump1 -> int1: the wahoo is not a Danaea.; int1 & sent4 -> int2: the subsidiary is both a Danaea and postglacial.; int2 -> int3: the fact that the subsidiary is postglacial is right.; int3 & sent16 -> int4: the subsidiary warms.; __UNKNOWN__