the xylene does pattern kob.
sent1: if there exists something such that it is not ethnological and/or it is not more then the pruno is not more. sent2: the ragout is slippery if it is a disa. sent3: the ragout is not slippery if there is something such that the fact that it is not an apricot and it is not an estimate is not right. sent4: the ragout does not pattern kob. sent5: the ragout is a kind of a peat that does osculate. sent6: if the ragout does not save then it is not ethnological or is not more or both. sent7: if the bed is a disa the xylene bicycles lallation. sent8: the fact that the pruno is not an apricot but it is an estimate is incorrect. sent9: if the fact that the bed strokes quiddity is correct the xylene does pattern kob. sent10: if the ragout is an apricot then it is a kind of a disa. sent11: something does not pattern kob if it is slippery and it does not stroke quiddity. sent12: that the ragout does stroke quiddity but it is not a kind of a disa is not true if the fact that the bed does not bicycle lallation is right. sent13: there is something such that that it is not an apricot but an estimate is not true. sent14: the ragout does bicycle lallation and/or it is a disa. sent15: the fact that the pruno is not an apricot and is not an estimate is not correct if the bed does not stroke quiddity. sent16: if the ragout is a kind of a peat and osculates then it is not a kind of a save. sent17: if there is something such that that it does not stroke quiddity and is not an apricot is not right then the bed is not an estimate. sent18: the xylene is slippery.
void -> assump1: Let's assume that the bed does not stroke quiddity.; sent15 & assump1 -> int1: the fact that the pruno is not an apricot and it is not an estimate is wrong.; int1 -> int2: there is something such that the fact that it is not an apricot and not an estimate does not hold.; int2 & sent3 -> int3: the ragout is not slippery.;
the xylene does not pattern kob.
sent11 -> int4: if the xylene is slippery but it does not stroke quiddity it does not pattern kob.; sent16 & sent5 -> int5: the ragout is not a kind of a save.; sent6 & int5 -> int6: that the ragout either is not ethnological or is not more or both is true.; int6 -> int7: something is not ethnological and/or it is not more.; int7 & sent1 -> int8: the pruno is not more.; int8 -> int9: something is not more.;
$hypothesis$ = the xylene does pattern kob. ; $context$ = sent1: if there exists something such that it is not ethnological and/or it is not more then the pruno is not more. sent2: the ragout is slippery if it is a disa. sent3: the ragout is not slippery if there is something such that the fact that it is not an apricot and it is not an estimate is not right. sent4: the ragout does not pattern kob. sent5: the ragout is a kind of a peat that does osculate. sent6: if the ragout does not save then it is not ethnological or is not more or both. sent7: if the bed is a disa the xylene bicycles lallation. sent8: the fact that the pruno is not an apricot but it is an estimate is incorrect. sent9: if the fact that the bed strokes quiddity is correct the xylene does pattern kob. sent10: if the ragout is an apricot then it is a kind of a disa. sent11: something does not pattern kob if it is slippery and it does not stroke quiddity. sent12: that the ragout does stroke quiddity but it is not a kind of a disa is not true if the fact that the bed does not bicycle lallation is right. sent13: there is something such that that it is not an apricot but an estimate is not true. sent14: the ragout does bicycle lallation and/or it is a disa. sent15: the fact that the pruno is not an apricot and is not an estimate is not correct if the bed does not stroke quiddity. sent16: if the ragout is a kind of a peat and osculates then it is not a kind of a save. sent17: if there is something such that that it does not stroke quiddity and is not an apricot is not right then the bed is not an estimate. sent18: the xylene is slippery. ; $proof$ = 
void -> assump1: Let's assume that the bed does not stroke quiddity.; sent15 & assump1 -> int1: the fact that the pruno is not an apricot and it is not an estimate is wrong.; int1 -> int2: there is something such that the fact that it is not an apricot and not an estimate does not hold.; int2 & sent3 -> int3: the ragout is not slippery.; __UNKNOWN__