the methadone is numeric.
sent1: if there exists something such that it is not a qoph the antiaircraft is numeric and/or it is not a qoph. sent2: the antiaircraft is not glial if it does not term half-term. sent3: the fact that the antiaircraft is a qoph but it does not sightsee is not right. sent4: there exists something such that it does not term half-term. sent5: if the antiaircraft is a qoph but it does not sightsee then it is not deductive. sent6: the antiaircraft is a kind of a cimetidine and/or it does term half-term. sent7: if the antiaircraft is not deductive the methadone is numeric. sent8: the antiaircraft is a cimetidine or it does term half-term or both if there exists something such that it does not term half-term. sent9: the antiaircraft is a cimetidine or it does not term half-term or both if there exists something such that the fact that it does not term half-term is right. sent10: something is not a kind of a qoph if it is a kind of a cimetidine and it is not numeric. sent11: the antiaircraft is not a kind of a qoph. sent12: the reticule does term half-term and it is a cimetidine if the pongee is not a saver. sent13: if the reticule terms half-term then the bone is not deductive and it is not glial. sent14: something is not glial if either it is a cimetidine or it does not term half-term or both. sent15: if that something is not a kind of a qoph and does not sightsee is not true that it is not glial is incorrect. sent16: if the antiaircraft is a qoph it is glial.
sent15 -> int1: the antiaircraft is glial if that it is not a qoph and does not sightsee does not hold.; void -> assump1: Let's assume that that the antiaircraft is not a kind of a qoph and does not sightsee is not correct.; int1 & assump1 -> int2: the antiaircraft is glial.; sent14 -> int3: if the antiaircraft is a cimetidine and/or it does not term half-term then it is not glial.; sent4 & sent9 -> int4: either the antiaircraft is a cimetidine or it does not term half-term or both.; int3 & int4 -> int5: the antiaircraft is not glial.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the antiaircraft is not a qoph and it does not sightsee.;
the methadone is not numeric.
$hypothesis$ = the methadone is numeric. ; $context$ = sent1: if there exists something such that it is not a qoph the antiaircraft is numeric and/or it is not a qoph. sent2: the antiaircraft is not glial if it does not term half-term. sent3: the fact that the antiaircraft is a qoph but it does not sightsee is not right. sent4: there exists something such that it does not term half-term. sent5: if the antiaircraft is a qoph but it does not sightsee then it is not deductive. sent6: the antiaircraft is a kind of a cimetidine and/or it does term half-term. sent7: if the antiaircraft is not deductive the methadone is numeric. sent8: the antiaircraft is a cimetidine or it does term half-term or both if there exists something such that it does not term half-term. sent9: the antiaircraft is a cimetidine or it does not term half-term or both if there exists something such that the fact that it does not term half-term is right. sent10: something is not a kind of a qoph if it is a kind of a cimetidine and it is not numeric. sent11: the antiaircraft is not a kind of a qoph. sent12: the reticule does term half-term and it is a cimetidine if the pongee is not a saver. sent13: if the reticule terms half-term then the bone is not deductive and it is not glial. sent14: something is not glial if either it is a cimetidine or it does not term half-term or both. sent15: if that something is not a kind of a qoph and does not sightsee is not true that it is not glial is incorrect. sent16: if the antiaircraft is a qoph it is glial. ; $proof$ = 
sent15 -> int1: the antiaircraft is glial if that it is not a qoph and does not sightsee does not hold.; void -> assump1: Let's assume that that the antiaircraft is not a kind of a qoph and does not sightsee is not correct.; int1 & assump1 -> int2: the antiaircraft is glial.; sent14 -> int3: if the antiaircraft is a cimetidine and/or it does not term half-term then it is not glial.; sent4 & sent9 -> int4: either the antiaircraft is a cimetidine or it does not term half-term or both.; int3 & int4 -> int5: the antiaircraft is not glial.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the antiaircraft is not a qoph and it does not sightsee.; __UNKNOWN__