the prothorax is not a CDC.
sent1: there exists something such that it does not criticize sail. sent2: the shirting is a kind of a Tomistoma that is thyrotoxic if the corymb does not lob levallorphan. sent3: if something is thyrotoxic it is casuistic. sent4: if there are sensitive things then that the corymb is not a cordwood but sensitive is not correct. sent5: if the shirting is not a squish then the audiometer does not row. sent6: there is something such that the fact that it is sensitive is not false. sent7: the prothorax is a kind of a CDC if the shirting does criticize Ephesian. sent8: either something does not criticize Ephesian or it is not a kind of a squish or both if it is casuistic. sent9: the corymb does not lob levallorphan if the fact that it is not a cordwood and is not sensitive is not true. sent10: if that the audiometer criticizes Scartella hold the shirting does criticize Ephesian. sent11: the shirting criticizes Ephesian if the audiometer does row. sent12: something is not a CDC if that it criticizes sail and it criticizes Scartella does not hold. sent13: if there exists something such that it does not criticize sail then the audiometer criticizes Scartella and/or it is a row. sent14: something criticizes sail.
sent1 & sent13 -> int1: the audiometer either does criticize Scartella or does row or both.; int1 & sent10 & sent11 -> int2: the shirting criticizes Ephesian.; int2 & sent7 -> hypothesis;
the prothorax is not a CDC.
sent12 -> int3: if that the prothorax does criticize sail and it does criticize Scartella is wrong then it is not a kind of a CDC.; sent8 -> int4: if the fact that the shirting is casuistic is true then it does not criticize Ephesian or it is not a squish or both.; sent3 -> int5: if the shirting is thyrotoxic it is casuistic.; sent6 & sent4 -> int6: the fact that the corymb is both not a cordwood and not sensitive is wrong.; sent9 & int6 -> int7: the corymb does not lob levallorphan.; sent2 & int7 -> int8: the shirting is both a Tomistoma and thyrotoxic.; int8 -> int9: the shirting is thyrotoxic.; int5 & int9 -> int10: the shirting is casuistic.; int4 & int10 -> int11: the shirting does not criticize Ephesian and/or it is not a squish.;
$hypothesis$ = the prothorax is not a CDC. ; $context$ = sent1: there exists something such that it does not criticize sail. sent2: the shirting is a kind of a Tomistoma that is thyrotoxic if the corymb does not lob levallorphan. sent3: if something is thyrotoxic it is casuistic. sent4: if there are sensitive things then that the corymb is not a cordwood but sensitive is not correct. sent5: if the shirting is not a squish then the audiometer does not row. sent6: there is something such that the fact that it is sensitive is not false. sent7: the prothorax is a kind of a CDC if the shirting does criticize Ephesian. sent8: either something does not criticize Ephesian or it is not a kind of a squish or both if it is casuistic. sent9: the corymb does not lob levallorphan if the fact that it is not a cordwood and is not sensitive is not true. sent10: if that the audiometer criticizes Scartella hold the shirting does criticize Ephesian. sent11: the shirting criticizes Ephesian if the audiometer does row. sent12: something is not a CDC if that it criticizes sail and it criticizes Scartella does not hold. sent13: if there exists something such that it does not criticize sail then the audiometer criticizes Scartella and/or it is a row. sent14: something criticizes sail. ; $proof$ = 
sent1 & sent13 -> int1: the audiometer either does criticize Scartella or does row or both.; int1 & sent10 & sent11 -> int2: the shirting criticizes Ephesian.; int2 & sent7 -> hypothesis; __DISPROVED__