the Hokan is not Proustian.
sent1: if the etamine is not tracheal that the monocyte does chance Christmasberry and/or it is not nonresidential is incorrect. sent2: if the columbine is a kind of a Brahmanism the blowing does not fit or it is a abducent or both. sent3: if something that is not a kind of an acclaim is monumental then the columbine is not a kind of a Brahmanism. sent4: if something is not a Brahmanism then the fact that it is tracheal and it does not chance Christmasberry is false. sent5: if that the etamine is legato thing that is not a kind of a mudhif does not hold the blowing does not chance Christmasberry. sent6: the swamp does not acclaim but it is monumental. sent7: if something is not a kind of a fitted then the monocyte is a abducent. sent8: if that the blowing chances Christmasberry and is not a kind of a mudhif does not hold then the swamp does not acclaim. sent9: the Hokan is not Proustian if the monocyte is nonresidential a abducent. sent10: the nutter is an arc but not pentecostal. sent11: the Hokan is Proustian if the fact that the monocyte does chance Christmasberry and/or it is not nonresidential is wrong. sent12: that the etamine is legato but it is not a mudhif is wrong if the monocyte is not nonresidential. sent13: the columbine is not an acclaim but it is a kind of a Brahmanism if the swamp is not monumental. sent14: if the nutter is a kind of an arc then the fact that it is not a kind of an aversion and it is a blockbuster does not hold. sent15: there is something such that it does not fit. sent16: the columbine is tracheal and does not chance Christmasberry if the blowing does not chance Christmasberry.
void -> assump1: Let's assume that the monocyte is not nonresidential.; sent12 & assump1 -> int1: the fact that the etamine is a kind of legato thing that is not a kind of a mudhif is incorrect.; int1 & sent5 -> int2: the blowing does not chance Christmasberry.; int2 & sent16 -> int3: the columbine is tracheal but it does not chance Christmasberry.; sent4 -> int4: if the columbine is not a Brahmanism then the fact that it is tracheal and it does not chance Christmasberry is false.; sent6 -> int5: there exists something such that it does not acclaim and it is monumental.; int5 & sent3 -> int6: the columbine is not a Brahmanism.; int4 & int6 -> int7: the fact that the columbine is tracheal but it does not chance Christmasberry does not hold.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the monocyte is nonresidential.; sent15 & sent7 -> int10: the monocyte is not non-abducent.; int9 & int10 -> int11: the monocyte is both nonresidential and abducent.; int11 & sent9 -> hypothesis;
the Hokan is Proustian.
sent10 -> int12: the nutter is an arc.; sent14 & int12 -> int13: that the nutter is not a kind of an aversion but it is a blockbuster is wrong.; int13 -> int14: the fact that there is something such that that it is not an aversion and is a blockbuster does not hold hold.;
$hypothesis$ = the Hokan is not Proustian. ; $context$ = sent1: if the etamine is not tracheal that the monocyte does chance Christmasberry and/or it is not nonresidential is incorrect. sent2: if the columbine is a kind of a Brahmanism the blowing does not fit or it is a abducent or both. sent3: if something that is not a kind of an acclaim is monumental then the columbine is not a kind of a Brahmanism. sent4: if something is not a Brahmanism then the fact that it is tracheal and it does not chance Christmasberry is false. sent5: if that the etamine is legato thing that is not a kind of a mudhif does not hold the blowing does not chance Christmasberry. sent6: the swamp does not acclaim but it is monumental. sent7: if something is not a kind of a fitted then the monocyte is a abducent. sent8: if that the blowing chances Christmasberry and is not a kind of a mudhif does not hold then the swamp does not acclaim. sent9: the Hokan is not Proustian if the monocyte is nonresidential a abducent. sent10: the nutter is an arc but not pentecostal. sent11: the Hokan is Proustian if the fact that the monocyte does chance Christmasberry and/or it is not nonresidential is wrong. sent12: that the etamine is legato but it is not a mudhif is wrong if the monocyte is not nonresidential. sent13: the columbine is not an acclaim but it is a kind of a Brahmanism if the swamp is not monumental. sent14: if the nutter is a kind of an arc then the fact that it is not a kind of an aversion and it is a blockbuster does not hold. sent15: there is something such that it does not fit. sent16: the columbine is tracheal and does not chance Christmasberry if the blowing does not chance Christmasberry. ; $proof$ = 
void -> assump1: Let's assume that the monocyte is not nonresidential.; sent12 & assump1 -> int1: the fact that the etamine is a kind of legato thing that is not a kind of a mudhif is incorrect.; int1 & sent5 -> int2: the blowing does not chance Christmasberry.; int2 & sent16 -> int3: the columbine is tracheal but it does not chance Christmasberry.; sent4 -> int4: if the columbine is not a Brahmanism then the fact that it is tracheal and it does not chance Christmasberry is false.; sent6 -> int5: there exists something such that it does not acclaim and it is monumental.; int5 & sent3 -> int6: the columbine is not a Brahmanism.; int4 & int6 -> int7: the fact that the columbine is tracheal but it does not chance Christmasberry does not hold.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the monocyte is nonresidential.; sent15 & sent7 -> int10: the monocyte is not non-abducent.; int9 & int10 -> int11: the monocyte is both nonresidential and abducent.; int11 & sent9 -> hypothesis; __PROVED__