the fact that the broad is not macrencephalic hold.
sent1: if something that is unconquerable does not headquarter naturalist then the adelgid is not scrotal. sent2: something is macrencephalic if the fact that it does not headquarter naturalist and is scrotal is not true. sent3: the broad is not scrotal if the huck does not fudge straight-arm and headquarters naturalist. sent4: the adelgid is not scrotal if a Cnicus is not Marxist. sent5: the huck is not obstetric. sent6: if the huck does not headquarter naturalist the furrow is a kind of a Cnicus but it is not a kind of a Marxist. sent7: if that something is macrencephalic or it is not obstetric or both is false it is not diaphyseal. sent8: something is diaphyseal if it does fudge straight-arm. sent9: the adelgid is a kind of scrotal thing that is unconquerable. sent10: the broad is not macrencephalic if the huck is diaphyseal and is not obstetric.
void -> assump1: Let's assume that that the huck does not headquarter naturalist hold.; sent6 & assump1 -> int1: the furrow is a Cnicus and is not a Marxist.; int1 -> int2: there is something such that it is a kind of a Cnicus and is not Marxist.; int2 & sent4 -> int3: the adelgid is not scrotal.; sent9 -> int4: the adelgid is scrotal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the huck headquarters naturalist.; sent8 -> int7: the huck is diaphyseal if it does fudge straight-arm.;
the broad is not scrotal.
sent7 -> int8: the huck is not diaphyseal if the fact that it is macrencephalic or it is not obstetric or both is false.;
$hypothesis$ = the fact that the broad is not macrencephalic hold. ; $context$ = sent1: if something that is unconquerable does not headquarter naturalist then the adelgid is not scrotal. sent2: something is macrencephalic if the fact that it does not headquarter naturalist and is scrotal is not true. sent3: the broad is not scrotal if the huck does not fudge straight-arm and headquarters naturalist. sent4: the adelgid is not scrotal if a Cnicus is not Marxist. sent5: the huck is not obstetric. sent6: if the huck does not headquarter naturalist the furrow is a kind of a Cnicus but it is not a kind of a Marxist. sent7: if that something is macrencephalic or it is not obstetric or both is false it is not diaphyseal. sent8: something is diaphyseal if it does fudge straight-arm. sent9: the adelgid is a kind of scrotal thing that is unconquerable. sent10: the broad is not macrencephalic if the huck is diaphyseal and is not obstetric. ; $proof$ = 
void -> assump1: Let's assume that that the huck does not headquarter naturalist hold.; sent6 & assump1 -> int1: the furrow is a Cnicus and is not a Marxist.; int1 -> int2: there is something such that it is a kind of a Cnicus and is not Marxist.; int2 & sent4 -> int3: the adelgid is not scrotal.; sent9 -> int4: the adelgid is scrotal.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the huck headquarters naturalist.; sent8 -> int7: the huck is diaphyseal if it does fudge straight-arm.; __UNKNOWN__