that the meson is a Hanover is correct.
sent1: the callus is not a Cacalia. sent2: that the coccyx is damascene a video is not right if that it is a kind of a 401-k hold. sent3: something that is a Atticus is a 401-k. sent4: something is a Hanover if it is not a pinon. sent5: if the fact that the Ottawa is a Atticus and it is a Hanover does not hold the meson is not a Hanover. sent6: if the callus is not a Cacalia the Zulu is a defile and nonwoody. sent7: that the meson is a kind of the Hanover if the meson is not a kind of a pinon hold. sent8: the coccyx is a kind of a Atticus if the Ottawa does disengage. sent9: if the coccyx is a kind of a video the Zulu is not a defile. sent10: the coccyx is nonwoody if the Zulu is not a kind of a 401-k. sent11: if the meson does not sterilize Modicon and is a kind of a pinon the Ottawa disengages. sent12: if the Zulu is a defile and a video then it is not a damascene. sent13: that the Zulu is a kind of a video hold if it is a defile. sent14: if the callus is not a Cacalia then the Zulu is nonwoody. sent15: if the coccyx is a 401-k that it is a damascene and it is not a video does not hold. sent16: if that something does not sterilize Modicon but it is a pinon is incorrect the fact that it is a Hanover hold. sent17: if the Zulu does not damascene then the fact that it does disengage and/or is not a kind of a 401-k is wrong. sent18: the Zulu is nonwoody.
void -> assump1: Let's assume that the meson does not sterilize Modicon and is a pinon.; sent11 & assump1 -> int1: the Ottawa disengages.; int1 & sent8 -> int2: the coccyx is a kind of a Atticus.; sent3 -> int3: if the fact that the coccyx is a Atticus hold that it is a kind of a 401-k hold.; int2 & int3 -> int4: the coccyx is a 401-k.; int4 & sent15 -> int5: that the coccyx is damascene thing that is not a video is not correct.; sent6 & sent1 -> int6: the Zulu defiles and it is nonwoody.; int6 -> int7: the Zulu does defile.; sent16 -> int8: the meson is a kind of a Hanover if the fact that it does not sterilize Modicon and it is a kind of a pinon is incorrect.;
the meson is not a Hanover.
$hypothesis$ = that the meson is a Hanover is correct. ; $context$ = sent1: the callus is not a Cacalia. sent2: that the coccyx is damascene a video is not right if that it is a kind of a 401-k hold. sent3: something that is a Atticus is a 401-k. sent4: something is a Hanover if it is not a pinon. sent5: if the fact that the Ottawa is a Atticus and it is a Hanover does not hold the meson is not a Hanover. sent6: if the callus is not a Cacalia the Zulu is a defile and nonwoody. sent7: that the meson is a kind of the Hanover if the meson is not a kind of a pinon hold. sent8: the coccyx is a kind of a Atticus if the Ottawa does disengage. sent9: if the coccyx is a kind of a video the Zulu is not a defile. sent10: the coccyx is nonwoody if the Zulu is not a kind of a 401-k. sent11: if the meson does not sterilize Modicon and is a kind of a pinon the Ottawa disengages. sent12: if the Zulu is a defile and a video then it is not a damascene. sent13: that the Zulu is a kind of a video hold if it is a defile. sent14: if the callus is not a Cacalia then the Zulu is nonwoody. sent15: if the coccyx is a 401-k that it is a damascene and it is not a video does not hold. sent16: if that something does not sterilize Modicon but it is a pinon is incorrect the fact that it is a Hanover hold. sent17: if the Zulu does not damascene then the fact that it does disengage and/or is not a kind of a 401-k is wrong. sent18: the Zulu is nonwoody. ; $proof$ = 
void -> assump1: Let's assume that the meson does not sterilize Modicon and is a pinon.; sent11 & assump1 -> int1: the Ottawa disengages.; int1 & sent8 -> int2: the coccyx is a kind of a Atticus.; sent3 -> int3: if the fact that the coccyx is a Atticus hold that it is a kind of a 401-k hold.; int2 & int3 -> int4: the coccyx is a 401-k.; int4 & sent15 -> int5: that the coccyx is damascene thing that is not a video is not correct.; sent6 & sent1 -> int6: the Zulu defiles and it is nonwoody.; int6 -> int7: the Zulu does defile.; sent16 -> int8: the meson is a kind of a Hanover if the fact that it does not sterilize Modicon and it is a kind of a pinon is incorrect.; __UNKNOWN__