the fact that the fact that if the americium is cubital the toupee is a kind of a Dietrich hold does not hold.
sent1: the americium is a kind of a Dietrich. sent2: the americium is a Dietrich if the toupee is not non-cubital. sent3: something is a Dietrich if the fact that it is honest is not false. sent4: an elementary thing realizes Manannan. sent5: something is cubital if it is honest. sent6: the K is honest. sent7: the americium is honest. sent8: the toupee does inform. sent9: something is conjunct if it is pubic. sent10: the fact that the americium is honest is not false if the toupee is not non-cubital. sent11: the americium is a kind of a toot. sent12: if the americium is cubital then the toupee is honest. sent13: something does repress if it generates. sent14: the toupee is cubital. sent15: if something is a kind of a Dietrich it is cubital. sent16: the toupee is a kind of a toot. sent17: something carbonates stretching if that it is a Bullfinch is not incorrect. sent18: if the americium is honest the toupee is cubital. sent19: the americium is cubital if it is a kind of a Dietrich. sent20: if the Bolshevik is lacustrine then it is a kind of a symposiast. sent21: if something is a kind of a Sayda it is hyperthermal. sent22: the americium is a kind of a gratitude.
void -> assump1: Let's assume that the fact that the americium is cubital hold.; sent12 & assump1 -> int1: the toupee is honest.; sent3 -> int2: the toupee is a kind of a Dietrich if the fact that it is honest is true.; int1 & int2 -> int3: the toupee is a Dietrich.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the fact that the fact that if the americium is cubital the toupee is a kind of a Dietrich hold does not hold. ; $context$ = sent1: the americium is a kind of a Dietrich. sent2: the americium is a Dietrich if the toupee is not non-cubital. sent3: something is a Dietrich if the fact that it is honest is not false. sent4: an elementary thing realizes Manannan. sent5: something is cubital if it is honest. sent6: the K is honest. sent7: the americium is honest. sent8: the toupee does inform. sent9: something is conjunct if it is pubic. sent10: the fact that the americium is honest is not false if the toupee is not non-cubital. sent11: the americium is a kind of a toot. sent12: if the americium is cubital then the toupee is honest. sent13: something does repress if it generates. sent14: the toupee is cubital. sent15: if something is a kind of a Dietrich it is cubital. sent16: the toupee is a kind of a toot. sent17: something carbonates stretching if that it is a Bullfinch is not incorrect. sent18: if the americium is honest the toupee is cubital. sent19: the americium is cubital if it is a kind of a Dietrich. sent20: if the Bolshevik is lacustrine then it is a kind of a symposiast. sent21: if something is a kind of a Sayda it is hyperthermal. sent22: the americium is a kind of a gratitude. ; $proof$ = 
void -> assump1: Let's assume that the fact that the americium is cubital hold.; sent12 & assump1 -> int1: the toupee is honest.; sent3 -> int2: the toupee is a kind of a Dietrich if the fact that it is honest is true.; int1 & int2 -> int3: the toupee is a Dietrich.; [assump1] & int3 -> hypothesis; __DISPROVED__