the zirconium is both a caddis-fly and not criminological.
sent1: the bonduc is zygodactyl. sent2: the zirconium is not a Cam. sent3: if something is zygodactyl the fact that it is a caddis-fly and it is not criminological does not hold. sent4: if that something is both not unimpressive and zoic is incorrect then it is pediatrics. sent5: if the bonduc is not a caddis-fly the zirconium is a caddis-fly that is not criminological. sent6: the zirconium is a kind of a Cam and/or is a caddis-fly. sent7: the fact that the shield is not unimpressive but it is zoic does not hold if it is not phenomenal. sent8: the stud is neuroglial if the bonduc is not heavenly but it is a kind of a factuality. sent9: if the shield is pediatrics then it realizes Alcedo. sent10: if the stud is zygodactyl and/or it is a Cam then the bonduc is not a caddis-fly. sent11: the clansman is a kind of a Cam. sent12: the shield is not phenomenal. sent13: something that does not headquarter is a Cam that is zygodactyl. sent14: if the bonduc is not a kind of a caddis-fly then the zirconium is a caddis-fly. sent15: a non-Modern thing is a Cam that headquarters. sent16: the bonduc does not headquarter or is not curricular or both. sent17: the stud is artesian thing that is not a costusroot. sent18: if something realizes Alcedo it is not heavenly and is a kind of a factuality. sent19: the fact that something is not Modern hold if that it is not curricular and it is not a Kwanzaa is false. sent20: if something is a Cam then it is zygodactyl. sent21: the bonduc does realize Alcedo if the shield realize Alcedo. sent22: the stud is a Cam. sent23: the zirconium is a caddis-fly.
sent22 -> int1: the stud is zygodactyl or a Cam or both.; int1 & sent10 -> int2: the bonduc is not a caddis-fly.; int2 & sent5 -> hypothesis;
the fact that the zirconium is a caddis-fly and is not criminological is not true.
sent13 -> int3: if the stud does not headquarter then it is both a Cam and zygodactyl.; sent16 -> int4: there is something such that it does not headquarter and/or it is not curricular.;
$hypothesis$ = the zirconium is both a caddis-fly and not criminological. ; $context$ = sent1: the bonduc is zygodactyl. sent2: the zirconium is not a Cam. sent3: if something is zygodactyl the fact that it is a caddis-fly and it is not criminological does not hold. sent4: if that something is both not unimpressive and zoic is incorrect then it is pediatrics. sent5: if the bonduc is not a caddis-fly the zirconium is a caddis-fly that is not criminological. sent6: the zirconium is a kind of a Cam and/or is a caddis-fly. sent7: the fact that the shield is not unimpressive but it is zoic does not hold if it is not phenomenal. sent8: the stud is neuroglial if the bonduc is not heavenly but it is a kind of a factuality. sent9: if the shield is pediatrics then it realizes Alcedo. sent10: if the stud is zygodactyl and/or it is a Cam then the bonduc is not a caddis-fly. sent11: the clansman is a kind of a Cam. sent12: the shield is not phenomenal. sent13: something that does not headquarter is a Cam that is zygodactyl. sent14: if the bonduc is not a kind of a caddis-fly then the zirconium is a caddis-fly. sent15: a non-Modern thing is a Cam that headquarters. sent16: the bonduc does not headquarter or is not curricular or both. sent17: the stud is artesian thing that is not a costusroot. sent18: if something realizes Alcedo it is not heavenly and is a kind of a factuality. sent19: the fact that something is not Modern hold if that it is not curricular and it is not a Kwanzaa is false. sent20: if something is a Cam then it is zygodactyl. sent21: the bonduc does realize Alcedo if the shield realize Alcedo. sent22: the stud is a Cam. sent23: the zirconium is a caddis-fly. ; $proof$ = 
sent22 -> int1: the stud is zygodactyl or a Cam or both.; int1 & sent10 -> int2: the bonduc is not a caddis-fly.; int2 & sent5 -> hypothesis; __PROVED__