the KBO is monoclinic.
sent1: if the fact that the vernix is not a electromyograph is true then it is curtainless thing that is a kind of a anatotitan. sent2: the fact that that the firstborn does not tweeze numbat and it is not a weakness is false is not incorrect if the kiddy is a antipyretic. sent3: that the firstborn is not curtainless is not false. sent4: the kiddy is a kind of antipyretic thing that is not a kind of a Sambucus if the fact that the greisen is not a kind of a anatotitan is true. sent5: the greisen is not a anatotitan if the vernix is a anatotitan and does secrete acropolis. sent6: the fact that the KBO is monoclinic is not wrong if the firstborn is monoclinic. sent7: that the KBO is monoclinic but it is not a weakness is false. sent8: that something is a anatotitan that is not a kind of a Sambucus does not hold if it is not curtainless. sent9: that the vernix is not a kind of a electromyograph is not false if that it is a chant and a electromyograph is wrong. sent10: if there exists something such that the fact that it is a Dhahran and it does not tweeze marcel is not correct the firstborn is a weakness. sent11: the fact that the vernix is a chant and a electromyograph is not right. sent12: something that is a Weisshorn that secretes acropolis is not a shoetree. sent13: the fact that the KBO tweezes numbat and does not close is wrong if it is not negligent. sent14: if the helm is not a antipyretic it does not tweeze marcel. sent15: the fact that the helm is a Dhahran but it does not tweeze marcel does not hold. sent16: something is not a antipyretic if it is a weakness and tweezes numbat. sent17: something is a anatotitan but it is not a Sambucus if it is not a antipyretic.
sent15 -> int1: there is something such that that it is a Dhahran and it does not tweeze marcel is false.; int1 & sent10 -> int2: the firstborn is a weakness.; void -> assump1: Let's assume that the firstborn tweezes numbat.; int2 & assump1 -> int3: the firstborn is a kind of a weakness that tweezes numbat.; sent16 -> int4: the firstborn is not a antipyretic if it is a kind of a weakness that tweezes numbat.; int3 & int4 -> int5: that the firstborn is not antipyretic is right.; sent17 -> int6: if the firstborn is not a antipyretic it is a anatotitan and it is not a Sambucus.; int5 & int6 -> int7: the firstborn is a anatotitan but it is not a kind of a Sambucus.; sent8 -> int8: the fact that the firstborn is a kind of a anatotitan and is not a Sambucus is not correct if it is not curtainless.; int8 & sent3 -> int9: the fact that the firstborn is a anatotitan and is not a Sambucus is not correct.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the firstborn does not tweeze numbat.;
the KBO is not monoclinic.
sent9 & sent11 -> int12: the vernix is not a electromyograph.; sent1 & int12 -> int13: the vernix is curtainless and a anatotitan.; int13 -> int14: the vernix is a anatotitan.;
$hypothesis$ = the KBO is monoclinic. ; $context$ = sent1: if the fact that the vernix is not a electromyograph is true then it is curtainless thing that is a kind of a anatotitan. sent2: the fact that that the firstborn does not tweeze numbat and it is not a weakness is false is not incorrect if the kiddy is a antipyretic. sent3: that the firstborn is not curtainless is not false. sent4: the kiddy is a kind of antipyretic thing that is not a kind of a Sambucus if the fact that the greisen is not a kind of a anatotitan is true. sent5: the greisen is not a anatotitan if the vernix is a anatotitan and does secrete acropolis. sent6: the fact that the KBO is monoclinic is not wrong if the firstborn is monoclinic. sent7: that the KBO is monoclinic but it is not a weakness is false. sent8: that something is a anatotitan that is not a kind of a Sambucus does not hold if it is not curtainless. sent9: that the vernix is not a kind of a electromyograph is not false if that it is a chant and a electromyograph is wrong. sent10: if there exists something such that the fact that it is a Dhahran and it does not tweeze marcel is not correct the firstborn is a weakness. sent11: the fact that the vernix is a chant and a electromyograph is not right. sent12: something that is a Weisshorn that secretes acropolis is not a shoetree. sent13: the fact that the KBO tweezes numbat and does not close is wrong if it is not negligent. sent14: if the helm is not a antipyretic it does not tweeze marcel. sent15: the fact that the helm is a Dhahran but it does not tweeze marcel does not hold. sent16: something is not a antipyretic if it is a weakness and tweezes numbat. sent17: something is a anatotitan but it is not a Sambucus if it is not a antipyretic. ; $proof$ = 
sent15 -> int1: there is something such that that it is a Dhahran and it does not tweeze marcel is false.; int1 & sent10 -> int2: the firstborn is a weakness.; void -> assump1: Let's assume that the firstborn tweezes numbat.; int2 & assump1 -> int3: the firstborn is a kind of a weakness that tweezes numbat.; sent16 -> int4: the firstborn is not a antipyretic if it is a kind of a weakness that tweezes numbat.; int3 & int4 -> int5: that the firstborn is not antipyretic is right.; sent17 -> int6: if the firstborn is not a antipyretic it is a anatotitan and it is not a Sambucus.; int5 & int6 -> int7: the firstborn is a anatotitan but it is not a kind of a Sambucus.; sent8 -> int8: the fact that the firstborn is a kind of a anatotitan and is not a Sambucus is not correct if it is not curtainless.; int8 & sent3 -> int9: the fact that the firstborn is a anatotitan and is not a Sambucus is not correct.; int7 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the firstborn does not tweeze numbat.; __UNKNOWN__