the benzyl is supernal and it does design if the streetcar is not relevant.
sent1: if there is something such that the fact that it does not dream aluminate and is a kind of a leer is not true then the fact that the benzyl does design is right. sent2: there exists something such that that it does dream aluminate and it is a leer is wrong. sent3: the roble is nonionic. sent4: if the streetcar is not irrelevant the benzyl is supernal and it is a kind of a design. sent5: something is not oaten if it is not nonionic. sent6: something is supernal if it is not blastoporal. sent7: the streetcar is supernal if the roble is relevant and is not oaten. sent8: if the fact that that something does not vex washed but it is blastoporal hold does not hold it is supernal. sent9: if there is something such that it does dream aluminate that the benzyl is a kind of a design is not wrong. sent10: if that something is nonionic but not varicelliform does not hold it is not oaten. sent11: the fact that the silverwork does not dream aluminate but it is a leer is false. sent12: the silverwork is not varicelliform. sent13: if the roble is nonionic but it is not varicelliform the streetcar is relevant. sent14: that the silverwork does dream aluminate and it does leer is false.
void -> assump1: Let's assume that the roble is nonionic but it is non-varicelliform.; sent13 & assump1 -> int1: the streetcar is relevant.; void -> assump2: Let's assume that the streetcar is not relevant.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the roble is a kind of nonionic thing that is not varicelliform is not right.; sent10 -> int4: if the fact that the roble is both nonionic and not varicelliform is wrong then it is not oaten.; int3 & int4 -> int5: the roble is non-oaten.; sent8 -> int6: if the fact that the benzyl does not vex washed but it is blastoporal is wrong then it is supernal.; sent11 -> int7: there is something such that that it does not dream aluminate and it leers does not hold.; int7 & sent1 -> int8: the fact that the benzyl is a design hold.;
$hypothesis$ = the benzyl is supernal and it does design if the streetcar is not relevant. ; $context$ = sent1: if there is something such that the fact that it does not dream aluminate and is a kind of a leer is not true then the fact that the benzyl does design is right. sent2: there exists something such that that it does dream aluminate and it is a leer is wrong. sent3: the roble is nonionic. sent4: if the streetcar is not irrelevant the benzyl is supernal and it is a kind of a design. sent5: something is not oaten if it is not nonionic. sent6: something is supernal if it is not blastoporal. sent7: the streetcar is supernal if the roble is relevant and is not oaten. sent8: if the fact that that something does not vex washed but it is blastoporal hold does not hold it is supernal. sent9: if there is something such that it does dream aluminate that the benzyl is a kind of a design is not wrong. sent10: if that something is nonionic but not varicelliform does not hold it is not oaten. sent11: the fact that the silverwork does not dream aluminate but it is a leer is false. sent12: the silverwork is not varicelliform. sent13: if the roble is nonionic but it is not varicelliform the streetcar is relevant. sent14: that the silverwork does dream aluminate and it does leer is false. ; $proof$ = 
void -> assump1: Let's assume that the roble is nonionic but it is non-varicelliform.; sent13 & assump1 -> int1: the streetcar is relevant.; void -> assump2: Let's assume that the streetcar is not relevant.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the roble is a kind of nonionic thing that is not varicelliform is not right.; sent10 -> int4: if the fact that the roble is both nonionic and not varicelliform is wrong then it is not oaten.; int3 & int4 -> int5: the roble is non-oaten.; sent8 -> int6: if the fact that the benzyl does not vex washed but it is blastoporal is wrong then it is supernal.; sent11 -> int7: there is something such that that it does not dream aluminate and it leers does not hold.; int7 & sent1 -> int8: the fact that the benzyl is a design hold.; __UNKNOWN__