the gentleman does not pass liberal.
sent1: the nazi is not a B if the creamer is a kind of a vicar-general that is a podzol. sent2: the gentleman does not pass liberal if it is not a kind of a hornbill and it hues nazi. sent3: if the fact that the nazi is not a B is right the gentleman is not a hornbill and does not hue nazi. sent4: the creamer does not hue Anatidae if that the nazi is not a B but it is a podzol does not hold. sent5: the liberal does hue Anatidae if it is a semicentennial. sent6: the fact that the gentleman does not hue nazi hold. sent7: the nazi is not a kind of a B if the creamer is not a kind of a vicar-general and is a podzol. sent8: that the creamer is a vicar-general that is a kind of a podzol is incorrect. sent9: if something does not hue Anatidae then it passes liberal and it is a B. sent10: if the gentleman is not a hornbill and it does not hue nazi then it does not pass liberal. sent11: if that the creamer is not a kind of a vicar-general but it is a podzol is incorrect then the liberal does not hue Anatidae.
void -> assump1: Let's assume that that the creamer is not a vicar-general but it is a podzol does not hold.; sent11 & assump1 -> int1: the liberal does not hue Anatidae.;
the gentleman passes liberal.
sent9 -> int2: if the gentleman does not hue Anatidae the fact that it passes liberal and it is a B is correct.;
$hypothesis$ = the gentleman does not pass liberal. ; $context$ = sent1: the nazi is not a B if the creamer is a kind of a vicar-general that is a podzol. sent2: the gentleman does not pass liberal if it is not a kind of a hornbill and it hues nazi. sent3: if the fact that the nazi is not a B is right the gentleman is not a hornbill and does not hue nazi. sent4: the creamer does not hue Anatidae if that the nazi is not a B but it is a podzol does not hold. sent5: the liberal does hue Anatidae if it is a semicentennial. sent6: the fact that the gentleman does not hue nazi hold. sent7: the nazi is not a kind of a B if the creamer is not a kind of a vicar-general and is a podzol. sent8: that the creamer is a vicar-general that is a kind of a podzol is incorrect. sent9: if something does not hue Anatidae then it passes liberal and it is a B. sent10: if the gentleman is not a hornbill and it does not hue nazi then it does not pass liberal. sent11: if that the creamer is not a kind of a vicar-general but it is a podzol is incorrect then the liberal does not hue Anatidae. ; $proof$ = 
void -> assump1: Let's assume that that the creamer is not a vicar-general but it is a podzol does not hold.; sent11 & assump1 -> int1: the liberal does not hue Anatidae.; __UNKNOWN__