the harmonium is a kind of a hill.
sent1: the calcination is not a funk. sent2: if there is something such that it is not nasty then that the harmonium is noncyclic and it is a funk is not right. sent3: the statin is not a Saigon. sent4: the statin is a Saigon if the kern is a fit. sent5: that the harmonium is not a Saigon is not false if it is not a hill. sent6: if the fact that the harmonium is noncyclic and it is a funk does not hold it does not hill. sent7: if the kern is not a fit the fact that the fact that the calcination is a kind of fit thing that does not mold electromyograph does not hold is not false. sent8: if a non-nasty thing is not noncyclic it does not mold electromyograph. sent9: the shofar does hill. sent10: if the kern does not mold electromyograph the harmonium does fit and/or is not a Saigon. sent11: the landscapist is not nasty if that the calcination fits but it does not mold electromyograph does not hold.
void -> assump1: Let's assume that the kern fits.; sent4 & assump1 -> int1: the statin is a kind of a Saigon.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the kern does not fit.; int3 & sent7 -> int4: that the calcination fits and does not mold electromyograph is not right.; int4 & sent11 -> int5: the landscapist is not nasty.; int5 -> int6: there exists something such that it is not nasty.; int6 & sent2 -> int7: the fact that the harmonium is noncyclic and is a kind of a funk is not true.; int7 & sent6 -> hypothesis;
the harmonium is a kind of a hill.
sent8 -> int8: the kern does not mold electromyograph if it is not nasty and not noncyclic.;
$hypothesis$ = the harmonium is a kind of a hill. ; $context$ = sent1: the calcination is not a funk. sent2: if there is something such that it is not nasty then that the harmonium is noncyclic and it is a funk is not right. sent3: the statin is not a Saigon. sent4: the statin is a Saigon if the kern is a fit. sent5: that the harmonium is not a Saigon is not false if it is not a hill. sent6: if the fact that the harmonium is noncyclic and it is a funk does not hold it does not hill. sent7: if the kern is not a fit the fact that the fact that the calcination is a kind of fit thing that does not mold electromyograph does not hold is not false. sent8: if a non-nasty thing is not noncyclic it does not mold electromyograph. sent9: the shofar does hill. sent10: if the kern does not mold electromyograph the harmonium does fit and/or is not a Saigon. sent11: the landscapist is not nasty if that the calcination fits but it does not mold electromyograph does not hold. ; $proof$ = 
void -> assump1: Let's assume that the kern fits.; sent4 & assump1 -> int1: the statin is a kind of a Saigon.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the kern does not fit.; int3 & sent7 -> int4: that the calcination fits and does not mold electromyograph is not right.; int4 & sent11 -> int5: the landscapist is not nasty.; int5 -> int6: there exists something such that it is not nasty.; int6 & sent2 -> int7: the fact that the harmonium is noncyclic and is a kind of a funk is not true.; int7 & sent6 -> hypothesis; __DISPROVED__