the double-crosser is brazen.
sent1: if the Pembroke is not inconsiderable then that the snuffler is a beard but it is not local is not right. sent2: something is brazen if it is angry. sent3: that if the ipecac does beard then the double-crosser is angry is true. sent4: the fact that if something is not a beard the fact that it is not angry and brazens does not hold is not false. sent5: the ipecac is a local. sent6: the Pembroke is not inconsiderable if there exists something such that the fact that it is a kind of capable thing that is inconsiderable is not correct. sent7: either the ipecac is not unfrozen or it is not regular or both if it is a kind of a local. sent8: if that something is angry and it does brazen is not right then it is not brazen. sent9: that the teju is not incapable and is inconsiderable does not hold. sent10: either the ipecac is unfrozen or it is not regular or both. sent11: something beards if it is not unfrozen or is not a kind of a regular or both.
sent11 -> int1: the ipecac is a beard if it is frozen and/or it is not regular.; sent7 & sent5 -> int2: the ipecac either is not unfrozen or is not a regular or both.; int1 & int2 -> int3: the ipecac is a kind of a beard.; int3 & sent3 -> int4: the double-crosser is angry.; sent2 -> int5: if the double-crosser is angry then it does brazen.; int4 & int5 -> hypothesis;
the separation is not a yellowcake and/or it is not a regular.
sent4 -> int6: the fact that the double-crosser is both not angry and brazen is not right if it is not a kind of a beard.;
$hypothesis$ = the double-crosser is brazen. ; $context$ = sent1: if the Pembroke is not inconsiderable then that the snuffler is a beard but it is not local is not right. sent2: something is brazen if it is angry. sent3: that if the ipecac does beard then the double-crosser is angry is true. sent4: the fact that if something is not a beard the fact that it is not angry and brazens does not hold is not false. sent5: the ipecac is a local. sent6: the Pembroke is not inconsiderable if there exists something such that the fact that it is a kind of capable thing that is inconsiderable is not correct. sent7: either the ipecac is not unfrozen or it is not regular or both if it is a kind of a local. sent8: if that something is angry and it does brazen is not right then it is not brazen. sent9: that the teju is not incapable and is inconsiderable does not hold. sent10: either the ipecac is unfrozen or it is not regular or both. sent11: something beards if it is not unfrozen or is not a kind of a regular or both. ; $proof$ = 
sent11 -> int1: the ipecac is a beard if it is frozen and/or it is not regular.; sent7 & sent5 -> int2: the ipecac either is not unfrozen or is not a regular or both.; int1 & int2 -> int3: the ipecac is a kind of a beard.; int3 & sent3 -> int4: the double-crosser is angry.; sent2 -> int5: if the double-crosser is angry then it does brazen.; int4 & int5 -> hypothesis; __PROVED__