that the filling is a ruble is not false.
sent1: that the ambiance is undulatory and/or is not a kind of a Dorian is true. sent2: if something that is not a relaxin is not cryptanalytic it is a kind of a ruble. sent3: the nerve is not a L-dopa if the gladiolus is not a kind of a crab and is not a raftered. sent4: if the gladiolus is a crab the fact that it does not tell is not false. sent5: if the gladiolus is not a nabob and is a squeal it is not a Baal. sent6: the gladiolus indurates but it is not a raftered. sent7: the gladiolus is a chukker if it is not a Baal and it does not tell. sent8: the gladiolus is not a nabob but a squeal. sent9: the gladiolus is not a kind of a chukker if the ambiance is undulatory and/or not a Dorian.
void -> assump1: Let's assume that the gladiolus is a crab.; sent4 & assump1 -> int1: the gladiolus does not tell.; sent5 & sent8 -> int2: that the gladiolus is not a kind of a Baal is true.; int1 & int2 -> int3: the gladiolus is not a Baal and it does not tell.; int3 & sent7 -> int4: the gladiolus is a chukker.; sent9 & sent1 -> int5: that the gladiolus is not a chukker hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gladiolus is not a crab.; sent6 -> int8: the gladiolus is not a raftered.; int7 & int8 -> int9: that the gladiolus is not a kind of a crab and is not a raftered is right.; int9 & sent3 -> int10: the nerve is not a L-dopa.; sent2 -> int11: if the filling is not a relaxin and is non-cryptanalytic then it is a ruble.;
$hypothesis$ = that the filling is a ruble is not false. ; $context$ = sent1: that the ambiance is undulatory and/or is not a kind of a Dorian is true. sent2: if something that is not a relaxin is not cryptanalytic it is a kind of a ruble. sent3: the nerve is not a L-dopa if the gladiolus is not a kind of a crab and is not a raftered. sent4: if the gladiolus is a crab the fact that it does not tell is not false. sent5: if the gladiolus is not a nabob and is a squeal it is not a Baal. sent6: the gladiolus indurates but it is not a raftered. sent7: the gladiolus is a chukker if it is not a Baal and it does not tell. sent8: the gladiolus is not a nabob but a squeal. sent9: the gladiolus is not a kind of a chukker if the ambiance is undulatory and/or not a Dorian. ; $proof$ = 
void -> assump1: Let's assume that the gladiolus is a crab.; sent4 & assump1 -> int1: the gladiolus does not tell.; sent5 & sent8 -> int2: that the gladiolus is not a kind of a Baal is true.; int1 & int2 -> int3: the gladiolus is not a Baal and it does not tell.; int3 & sent7 -> int4: the gladiolus is a chukker.; sent9 & sent1 -> int5: that the gladiolus is not a chukker hold.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gladiolus is not a crab.; sent6 -> int8: the gladiolus is not a raftered.; int7 & int8 -> int9: that the gladiolus is not a kind of a crab and is not a raftered is right.; int9 & sent3 -> int10: the nerve is not a L-dopa.; sent2 -> int11: if the filling is not a relaxin and is non-cryptanalytic then it is a ruble.; __UNKNOWN__