the dirndl is a zeppelin if the MD is not a zeppelin and is not a Johns.
sent1: the dirndl is vagile thing that is a Johns. sent2: the MD is a zeppelin and it is vagile if the dirndl is not vagile. sent3: the fact that the cyberpunk is non-Greek and does not count values is false if the catamountain defiles. sent4: the MD is vagile if the dirndl is not a zeppelin. sent5: if there exists something such that it is a Greek then that the fiefdom is either a taka or a Greek or both is not false. sent6: if that the dirndl is a pyrolatry hold that the MD is vagile but it is not a Johns does not hold. sent7: the marri is a zeppelin. sent8: the dirndl is subartesian. sent9: if that the townee is not a kind of a defiled and is polarographic is incorrect the catamountain is a kind of a defiled. sent10: that something is both not a defiled and polarographic is incorrect if it is not neurological. sent11: if the fact that the cyberpunk is not Greek and it does not count values is not correct then the daredevil is a Greek. sent12: the dirndl is a zeppelin if the MD is both not a zeppelin and a Johns. sent13: the dirndl is vagile. sent14: the townee is non-neurological if something grades witloof and is not a nonevent. sent15: the Sardinian does grade witloof and is not a kind of a nonevent.
void -> assump1: Let's assume that the MD is not a zeppelin and it is not a Johns.; assump1 -> int1: the MD is not a kind of a zeppelin.;
the upholstery is a zeppelin.
sent10 -> int2: if the townee is not neurological then that it is not a kind of a defiled and it is polarographic is not true.; sent15 -> int3: there is something such that it does grade witloof and it is not a nonevent.; int3 & sent14 -> int4: the townee is not neurological.; int2 & int4 -> int5: that the townee is not a defiled but it is polarographic is not correct.; sent9 & int5 -> int6: the fact that the catamountain is a defiled is not wrong.; sent3 & int6 -> int7: the fact that the cyberpunk is not Greek and does not count values does not hold.; sent11 & int7 -> int8: the fact that the daredevil is a Greek is correct.; int8 -> int9: something is a kind of a Greek.; int9 & sent5 -> int10: the fiefdom is either a taka or Greek or both.;
$hypothesis$ = the dirndl is a zeppelin if the MD is not a zeppelin and is not a Johns. ; $context$ = sent1: the dirndl is vagile thing that is a Johns. sent2: the MD is a zeppelin and it is vagile if the dirndl is not vagile. sent3: the fact that the cyberpunk is non-Greek and does not count values is false if the catamountain defiles. sent4: the MD is vagile if the dirndl is not a zeppelin. sent5: if there exists something such that it is a Greek then that the fiefdom is either a taka or a Greek or both is not false. sent6: if that the dirndl is a pyrolatry hold that the MD is vagile but it is not a Johns does not hold. sent7: the marri is a zeppelin. sent8: the dirndl is subartesian. sent9: if that the townee is not a kind of a defiled and is polarographic is incorrect the catamountain is a kind of a defiled. sent10: that something is both not a defiled and polarographic is incorrect if it is not neurological. sent11: if the fact that the cyberpunk is not Greek and it does not count values is not correct then the daredevil is a Greek. sent12: the dirndl is a zeppelin if the MD is both not a zeppelin and a Johns. sent13: the dirndl is vagile. sent14: the townee is non-neurological if something grades witloof and is not a nonevent. sent15: the Sardinian does grade witloof and is not a kind of a nonevent. ; $proof$ = 
void -> assump1: Let's assume that the MD is not a zeppelin and it is not a Johns.; assump1 -> int1: the MD is not a kind of a zeppelin.; __UNKNOWN__