the fact that the transmission is not croupy but it is playful is not correct.
sent1: the fact that the Calymmatobacterium is a tech and it is antithyroid is wrong if that it is not blastoporal is true. sent2: if the lodging is not monocotyledonous then the fact that the transmission is not croupy but playful is not correct. sent3: the fact that the transmission is both a tech and playful is wrong if the chlorine is not a tech. sent4: the transmission is not a kind of a tech. sent5: the generator is not monocotyledonous. sent6: the lodging is not monocotyledonous if that the Calymmatobacterium is not antithyroid is not incorrect. sent7: the Calymmatobacterium is not blastoporal if the lodging is not monocotyledonous and/or it is not blastoporal. sent8: the chlorine is a kind of a tech. sent9: the fact that the chlorine is not blastoporal if the chlorine is playful is not wrong. sent10: if the lodging is not monocotyledonous the fact that the transmission is croupy and it is playful is not right. sent11: if the fact that that the Calymmatobacterium is blastoporal and antithyroid is not right is not incorrect the lodging is not monocotyledonous. sent12: if the chlorine is a tech it is not blastoporal. sent13: that the gadolinium is not blastoporal is not incorrect.
sent12 & sent8 -> int1: the chlorine is not blastoporal.;
the transmission is not croupy but it is playful.
$hypothesis$ = the fact that the transmission is not croupy but it is playful is not correct. ; $context$ = sent1: the fact that the Calymmatobacterium is a tech and it is antithyroid is wrong if that it is not blastoporal is true. sent2: if the lodging is not monocotyledonous then the fact that the transmission is not croupy but playful is not correct. sent3: the fact that the transmission is both a tech and playful is wrong if the chlorine is not a tech. sent4: the transmission is not a kind of a tech. sent5: the generator is not monocotyledonous. sent6: the lodging is not monocotyledonous if that the Calymmatobacterium is not antithyroid is not incorrect. sent7: the Calymmatobacterium is not blastoporal if the lodging is not monocotyledonous and/or it is not blastoporal. sent8: the chlorine is a kind of a tech. sent9: the fact that the chlorine is not blastoporal if the chlorine is playful is not wrong. sent10: if the lodging is not monocotyledonous the fact that the transmission is croupy and it is playful is not right. sent11: if the fact that that the Calymmatobacterium is blastoporal and antithyroid is not right is not incorrect the lodging is not monocotyledonous. sent12: if the chlorine is a tech it is not blastoporal. sent13: that the gadolinium is not blastoporal is not incorrect. ; $proof$ = 
sent12 & sent8 -> int1: the chlorine is not blastoporal.; __UNKNOWN__