that the viverrine is not a Funk and it is not a Tory does not hold.
sent1: that the drydock does not measure terce and it is not unpalatable is not right. sent2: if something is a Cronartium but not a pansexual it does not deposit embroidery. sent3: that the hustler does not measure terce and it does not trundle litigation does not hold. sent4: something is not a kind of a Briton if it does not tout and/or it is not a Soricidae. sent5: if something does not measure terce and it is not a forwarding it is not a kind of a Tory. sent6: something is a kind of a bedsore and it deposits abohm if it is not a Briton. sent7: something that is a Funk and not a Tory is not unpalatable. sent8: the drydock is not a forwarding and/or does not measure terce. sent9: if the restharrow does not trundle fireplug and it is not a kind of a literate then it is not a Tory. sent10: the viverrine is not a Funk and not a Tory if the drydock does not measure terce. sent11: the viverrine is not a Funk. sent12: if the viverrine is a Funk but it is not a kind of a Tory the fact that it is palatable is true. sent13: the drydock does not measure terce if the splenius does measure terce. sent14: something does soak if it is a metasequoia. sent15: something is unpalatable if it does measure terce. sent16: everything is either not a tout or not a Soricidae or both. sent17: the drydock is not a forwarding if it is not a kind of a Funk and it is not a Tory. sent18: the viverrine does not measure terce if the drydock does measure terce and is not a MArch. sent19: the fact that the viverrine does measure terce is not wrong if the fact that the drydock does not measure terce hold. sent20: the fact that that the viverrine is both a Funk and not a Tory does not hold is not wrong. sent21: the viverrine is a kind of a NSC. sent22: if the drydock does not forward the viverrine does measure terce.
void -> assump1: Let's assume that the viverrine is not a Funk and it is not a Tory.; sent15 -> int1: if the viverrine does measure terce then it is unpalatable.; sent8 & sent22 & sent19 -> int2: the viverrine does measure terce.; int1 & int2 -> int3: the viverrine is unpalatable.;
the viverrine is not a Funk and it is not a Tory.
$hypothesis$ = that the viverrine is not a Funk and it is not a Tory does not hold. ; $context$ = sent1: that the drydock does not measure terce and it is not unpalatable is not right. sent2: if something is a Cronartium but not a pansexual it does not deposit embroidery. sent3: that the hustler does not measure terce and it does not trundle litigation does not hold. sent4: something is not a kind of a Briton if it does not tout and/or it is not a Soricidae. sent5: if something does not measure terce and it is not a forwarding it is not a kind of a Tory. sent6: something is a kind of a bedsore and it deposits abohm if it is not a Briton. sent7: something that is a Funk and not a Tory is not unpalatable. sent8: the drydock is not a forwarding and/or does not measure terce. sent9: if the restharrow does not trundle fireplug and it is not a kind of a literate then it is not a Tory. sent10: the viverrine is not a Funk and not a Tory if the drydock does not measure terce. sent11: the viverrine is not a Funk. sent12: if the viverrine is a Funk but it is not a kind of a Tory the fact that it is palatable is true. sent13: the drydock does not measure terce if the splenius does measure terce. sent14: something does soak if it is a metasequoia. sent15: something is unpalatable if it does measure terce. sent16: everything is either not a tout or not a Soricidae or both. sent17: the drydock is not a forwarding if it is not a kind of a Funk and it is not a Tory. sent18: the viverrine does not measure terce if the drydock does measure terce and is not a MArch. sent19: the fact that the viverrine does measure terce is not wrong if the fact that the drydock does not measure terce hold. sent20: the fact that that the viverrine is both a Funk and not a Tory does not hold is not wrong. sent21: the viverrine is a kind of a NSC. sent22: if the drydock does not forward the viverrine does measure terce. ; $proof$ = 
void -> assump1: Let's assume that the viverrine is not a Funk and it is not a Tory.; sent15 -> int1: if the viverrine does measure terce then it is unpalatable.; sent8 & sent22 & sent19 -> int2: the viverrine does measure terce.; int1 & int2 -> int3: the viverrine is unpalatable.; __UNKNOWN__