the babbler is not a amatungulu.
sent1: the Aertex is not Dickensian if the porkpie is not a weatherman. sent2: the kohlrabi is not idiographic. sent3: if the porkpie is a weatherman then the kohlrabi does accord babbler. sent4: that something is a weatherman and is not a kind of a amatungulu is not true if it does not accord babbler. sent5: the fact that the lacer does not accord babbler but it is a Fortuna is incorrect. sent6: if the porkpie is not a weatherman then the Aertex is a weatherman but it is not Dickensian. sent7: if the kohlrabi accords babbler the fact that the lacer does not accords babbler but it is a Fortuna does not hold. sent8: that the bugle is a kind of a sheik and it is Dickensian is not correct. sent9: if the fact that the bugle is a kind of a sheik and it is idiographic does not hold the babbler is not a amatungulu. sent10: the strategist is not a kind of a Livermore. sent11: that the bugle is a sheik and idiographic is not correct if the fact that the Aertex is not a sheik is correct. sent12: if the bugle is not idiographic then the babbler is not a kind of a amatungulu. sent13: the lacer does not accord babbler and is not a Fortuna if the strategist is not a Livermore. sent14: that the kohlrabi is both not a sheik and not Dickensian does not hold if it is not idiographic. sent15: if the Aertex is a weatherman but it is not Dickensian it is not a sheik. sent16: if the fact that the kohlrabi accords babbler is not wrong the fact that the fact that the lacer does accords babbler but it is not a Fortuna is not false is false. sent17: if that something is not a sheik and it is not Dickensian does not hold it is not a kind of a Fortuna.
void -> assump1: Let's assume that the porkpie is a weatherman.; sent3 & assump1 -> int1: the kohlrabi accords babbler.; sent13 & sent10 -> int2: the lacer does not accord babbler and is not a Fortuna.;
the babbler is a kind of a amatungulu.
sent4 -> int3: the fact that the porkpie is a kind of a weatherman and is not a amatungulu is false if it does not accord babbler.; sent17 -> int4: if that the kohlrabi is not a kind of a sheik and is not Dickensian does not hold it is not a Fortuna.; sent14 & sent2 -> int5: the fact that the kohlrabi is not a sheik and not Dickensian is false.; int4 & int5 -> int6: the kohlrabi is not a Fortuna.; int6 -> int7: there is something such that it is not a Fortuna.;
$hypothesis$ = the babbler is not a amatungulu. ; $context$ = sent1: the Aertex is not Dickensian if the porkpie is not a weatherman. sent2: the kohlrabi is not idiographic. sent3: if the porkpie is a weatherman then the kohlrabi does accord babbler. sent4: that something is a weatherman and is not a kind of a amatungulu is not true if it does not accord babbler. sent5: the fact that the lacer does not accord babbler but it is a Fortuna is incorrect. sent6: if the porkpie is not a weatherman then the Aertex is a weatherman but it is not Dickensian. sent7: if the kohlrabi accords babbler the fact that the lacer does not accords babbler but it is a Fortuna does not hold. sent8: that the bugle is a kind of a sheik and it is Dickensian is not correct. sent9: if the fact that the bugle is a kind of a sheik and it is idiographic does not hold the babbler is not a amatungulu. sent10: the strategist is not a kind of a Livermore. sent11: that the bugle is a sheik and idiographic is not correct if the fact that the Aertex is not a sheik is correct. sent12: if the bugle is not idiographic then the babbler is not a kind of a amatungulu. sent13: the lacer does not accord babbler and is not a Fortuna if the strategist is not a Livermore. sent14: that the kohlrabi is both not a sheik and not Dickensian does not hold if it is not idiographic. sent15: if the Aertex is a weatherman but it is not Dickensian it is not a sheik. sent16: if the fact that the kohlrabi accords babbler is not wrong the fact that the fact that the lacer does accords babbler but it is not a Fortuna is not false is false. sent17: if that something is not a sheik and it is not Dickensian does not hold it is not a kind of a Fortuna. ; $proof$ = 
void -> assump1: Let's assume that the porkpie is a weatherman.; sent3 & assump1 -> int1: the kohlrabi accords babbler.; sent13 & sent10 -> int2: the lacer does not accord babbler and is not a Fortuna.; __UNKNOWN__