the hypochondria talks.
sent1: the espresso is a Karloff and it is a kind of a lilliputian if it is not subatomic. sent2: the espresso is not a kind of an entrepreneur if there is something such that that it is both actuarial and neuropsychiatric is not right. sent3: something is not cognitive if it does mummify and does not conclude. sent4: there exists something such that that it is actuarial and it is neuropsychiatric is incorrect. sent5: the Chesterfield is not a ilium if the espresso is a kind of a trephination and is a kind of a Karloff. sent6: the espresso is not subatomic if the mezzotint is non-cognitive. sent7: that if the hypochondria is not the trephination then the hypochondria either is a kind of a ilium or is joyless or both is not incorrect. sent8: something is expansive if it is a ilium. sent9: if the mezzotint is a keystone it mummifies and it does not conclude. sent10: if the espresso is not an entrepreneur then it is a trephination. sent11: the fact that the hypochondria is not a trephination is not incorrect. sent12: if the Chesterfield is not a kind of a talk and it is not joyless the hypochondria is not a kind of a talk. sent13: something that does not align is a kind of a keystone. sent14: if something is joyless the fact that it is not unexpansive is not wrong. sent15: the hypochondria is a mugshot and it is unexpansive if it is not a kind of a talk.
void -> assump1: Let's assume that the hypochondria is not a kind of a talk.; sent15 & assump1 -> int1: the hypochondria is a mugshot and unexpansive.; int1 -> int2: that the hypochondria is unexpansive is not false.; sent7 & sent11 -> int3: the hypochondria is a kind of a ilium and/or it is joyless.; sent8 -> int4: the hypochondria is expansive if it is a ilium.; sent14 -> int5: if the fact that the hypochondria is joyless is correct then it is not unexpansive.; int3 & int4 & int5 -> int6: the hypochondria is not unexpansive.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the hypochondria does not talk.
sent4 & sent2 -> int8: the espresso is not a kind of an entrepreneur.; sent10 & int8 -> int9: the espresso is a kind of a trephination.; sent3 -> int10: the mezzotint is not cognitive if it mummifies and does not conclude.; sent13 -> int11: if the mezzotint does not align then it is a keystone.;
$hypothesis$ = the hypochondria talks. ; $context$ = sent1: the espresso is a Karloff and it is a kind of a lilliputian if it is not subatomic. sent2: the espresso is not a kind of an entrepreneur if there is something such that that it is both actuarial and neuropsychiatric is not right. sent3: something is not cognitive if it does mummify and does not conclude. sent4: there exists something such that that it is actuarial and it is neuropsychiatric is incorrect. sent5: the Chesterfield is not a ilium if the espresso is a kind of a trephination and is a kind of a Karloff. sent6: the espresso is not subatomic if the mezzotint is non-cognitive. sent7: that if the hypochondria is not the trephination then the hypochondria either is a kind of a ilium or is joyless or both is not incorrect. sent8: something is expansive if it is a ilium. sent9: if the mezzotint is a keystone it mummifies and it does not conclude. sent10: if the espresso is not an entrepreneur then it is a trephination. sent11: the fact that the hypochondria is not a trephination is not incorrect. sent12: if the Chesterfield is not a kind of a talk and it is not joyless the hypochondria is not a kind of a talk. sent13: something that does not align is a kind of a keystone. sent14: if something is joyless the fact that it is not unexpansive is not wrong. sent15: the hypochondria is a mugshot and it is unexpansive if it is not a kind of a talk. ; $proof$ = 
void -> assump1: Let's assume that the hypochondria is not a kind of a talk.; sent15 & assump1 -> int1: the hypochondria is a mugshot and unexpansive.; int1 -> int2: that the hypochondria is unexpansive is not false.; sent7 & sent11 -> int3: the hypochondria is a kind of a ilium and/or it is joyless.; sent8 -> int4: the hypochondria is expansive if it is a ilium.; sent14 -> int5: if the fact that the hypochondria is joyless is correct then it is not unexpansive.; int3 & int4 & int5 -> int6: the hypochondria is not unexpansive.; int2 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__