the journalist superscribes worrying.
sent1: the expectoration retails or it is not a Slovenian or both. sent2: if the hardware is cyclothymic then that it is not a retail is true. sent3: that the hardware is cyclothymic and it is a levee is wrong. sent4: the expectoration is not spartan if there exists something such that the fact that that it is a kind of cyclothymic a levee is true is false. sent5: something is not a levee if the fact that it does not superscribe baobab and is a levee is false. sent6: the expectoration is not a kind of a peephole. sent7: if that something is a kind of a Olympia that is not a peephole is false that it is not a kind of a Slovenian is true. sent8: something is a kind of a webcam if it is a Olympia. sent9: the contortionist does not bear expectoration if either it is not a hydrologist or it is not a monetization or both. sent10: either the expectoration does not retail or it is a kind of a Slovenian or both. sent11: if something does bear expectoration then it is not cyclothymic. sent12: if something is a peephole then the fact that it is not a Slovenian is right. sent13: the indexer bears expectoration if the contortionist is not a chalaza and it does not bears expectoration. sent14: that the expectoration is a Olympia and it is a kind of a peephole is not right. sent15: the journalist superscribes worrying if the expectoration is a webcam. sent16: the sparid is spartan and is not anestrous. sent17: something is a kind of a webcam and is spartan if it is not a kind of a levee. sent18: that the hardware does not superscribe baobab and is a levee is not correct if the indexer is not cyclothymic. sent19: the journalist is a levee. sent20: the journalist does not superscribe worrying if the hardware does not retail and it is not a Slovenian.
sent7 -> int1: the expectoration is not a kind of a Slovenian if that it is a Olympia and it is not a peephole does not hold.; void -> assump1: Let's assume that the fact that the expectoration is a Olympia that is not a peephole is not correct.; int1 & assump1 -> int2: the expectoration is not a Slovenian.; int2 -> int3: the expectoration is not a retail and/or it is not a Slovenian.; sent3 -> int4: there is something such that that it is cyclothymic and it is a levee does not hold.; int4 & sent4 -> int5: the expectoration is not spartan.; sent8 -> int6: the expectoration is a webcam if it is a Olympia.;
the journalist does not superscribe worrying.
sent17 -> int7: the hardware is a webcam and it is spartan if it is not a levee.; sent5 -> int8: the hardware is not a levee if the fact that it does not superscribe baobab and it is a kind of a levee does not hold.; sent11 -> int9: the indexer is not cyclothymic if it does bear expectoration.;
$hypothesis$ = the journalist superscribes worrying. ; $context$ = sent1: the expectoration retails or it is not a Slovenian or both. sent2: if the hardware is cyclothymic then that it is not a retail is true. sent3: that the hardware is cyclothymic and it is a levee is wrong. sent4: the expectoration is not spartan if there exists something such that the fact that that it is a kind of cyclothymic a levee is true is false. sent5: something is not a levee if the fact that it does not superscribe baobab and is a levee is false. sent6: the expectoration is not a kind of a peephole. sent7: if that something is a kind of a Olympia that is not a peephole is false that it is not a kind of a Slovenian is true. sent8: something is a kind of a webcam if it is a Olympia. sent9: the contortionist does not bear expectoration if either it is not a hydrologist or it is not a monetization or both. sent10: either the expectoration does not retail or it is a kind of a Slovenian or both. sent11: if something does bear expectoration then it is not cyclothymic. sent12: if something is a peephole then the fact that it is not a Slovenian is right. sent13: the indexer bears expectoration if the contortionist is not a chalaza and it does not bears expectoration. sent14: that the expectoration is a Olympia and it is a kind of a peephole is not right. sent15: the journalist superscribes worrying if the expectoration is a webcam. sent16: the sparid is spartan and is not anestrous. sent17: something is a kind of a webcam and is spartan if it is not a kind of a levee. sent18: that the hardware does not superscribe baobab and is a levee is not correct if the indexer is not cyclothymic. sent19: the journalist is a levee. sent20: the journalist does not superscribe worrying if the hardware does not retail and it is not a Slovenian. ; $proof$ = 
sent7 -> int1: the expectoration is not a kind of a Slovenian if that it is a Olympia and it is not a peephole does not hold.; void -> assump1: Let's assume that the fact that the expectoration is a Olympia that is not a peephole is not correct.; int1 & assump1 -> int2: the expectoration is not a Slovenian.; int2 -> int3: the expectoration is not a retail and/or it is not a Slovenian.; sent3 -> int4: there is something such that that it is cyclothymic and it is a levee does not hold.; int4 & sent4 -> int5: the expectoration is not spartan.; sent8 -> int6: the expectoration is a webcam if it is a Olympia.; __UNKNOWN__