the pyromaniac is not a sociable.
sent1: the pyromaniac is not binucleate if something is a sociable. sent2: something is binucleate and/or it is a sociable. sent3: that something is not binucleate and it does not shaft cobble is incorrect if it is anicteric. sent4: there is something such that it is anicteric and/or shafts cobble. sent5: if there is something such that it is binucleate then the gale is not a sociable. sent6: the gale is a Commerce. sent7: the anatomist is not a Fremontodendron if there is something such that it does shaft cobble and/or is syncretic. sent8: that the gale is not a sociable is right. sent9: if the pyromaniac is sociable the fact that the gale is binucleate hold. sent10: something is a sociable and/or it is binucleate. sent11: the fact that the gale is not binucleate hold if there is something such that it is anicteric.
void -> assump1: Let's assume that the pyromaniac is a sociable.; sent9 & assump1 -> int1: the gale is binucleate.;
the pyromaniac is a kind of a sociable.
sent3 -> int2: that the gale is not binucleate and it does not shaft cobble is not true if it is anicteric.;
$hypothesis$ = the pyromaniac is not a sociable. ; $context$ = sent1: the pyromaniac is not binucleate if something is a sociable. sent2: something is binucleate and/or it is a sociable. sent3: that something is not binucleate and it does not shaft cobble is incorrect if it is anicteric. sent4: there is something such that it is anicteric and/or shafts cobble. sent5: if there is something such that it is binucleate then the gale is not a sociable. sent6: the gale is a Commerce. sent7: the anatomist is not a Fremontodendron if there is something such that it does shaft cobble and/or is syncretic. sent8: that the gale is not a sociable is right. sent9: if the pyromaniac is sociable the fact that the gale is binucleate hold. sent10: something is a sociable and/or it is binucleate. sent11: the fact that the gale is not binucleate hold if there is something such that it is anicteric. ; $proof$ = 
void -> assump1: Let's assume that the pyromaniac is a sociable.; sent9 & assump1 -> int1: the gale is binucleate.; __UNKNOWN__