the shimmy traffics imipramine and it is a spurner.
sent1: the machicolation does not humanize if that the cemetery humanize and is polyvalent is not correct. sent2: the machicolation is a kind of a levator that humanizes. sent3: if the machicolation does not traffic imipramine it does not humanize or it is a half-mast or both. sent4: that the shimmy does traffic imipramine and it is a spurner is not incorrect if the machicolation is not a spurner. sent5: something is not a half-mast and it is not a chisel if it is a Tussilago. sent6: the fact that if there is something such that it is a Tussilago then the almsgiver is not a kind of a chisel is correct. sent7: if the almsgiver is not a chisel it is not a half-mast and/or it is polyvalent. sent8: if the almsgiver is not a half-mast the cemetery is a half-mast. sent9: that the cemetery does not traffic Tridacnidae hold if the machicolation is a spurner and it humanizes. sent10: that something does not middle aardvark and/or it is agonadal is false if it is trihydroxy. sent11: if the fact that the cemetery does not traffic Tridacnidae is not false then the fact that the almsgiver is not a half-mast or is polyvalent or both is wrong. sent12: something is a Tussilago. sent13: the shimmy does traffic imipramine if that the machicolation is not a spurner is not incorrect. sent14: the machicolation is a levator. sent15: the fact that the almsgiver is not polyvalent is not wrong if the cemetery does not traffic Tridacnidae. sent16: that the fact that something traffics imipramine and is a spurner is not incorrect is not true if it is not a kind of a levator. sent17: if something is not a half-mast then that it humanizes and is polyvalent does not hold. sent18: if the almsgiver is not a kind of a half-mast then the shimmy does traffic imipramine and is a kind of a half-mast. sent19: the cemetery is a kind of a Tussilago if that it either does not middle aardvark or is agonadal or both is incorrect. sent20: something does not traffic imipramine if the fact that it humanizes and is a levator is not correct. sent21: the fact that the shimmy traffics imipramine is true. sent22: if the machicolation is not a spurner it does not humanize and/or it is polyvalent. sent23: that something traffics Tridacnidae but it is not a levator is not right if it does not humanize. sent24: the almsgiver is not polyvalent. sent25: the almsgiver is not a half-mast or it is not polyvalent or both. sent26: the machicolation does traffic Tridacnidae.
sent2 -> int1: the machicolation humanizes.; void -> assump1: Let's assume that the machicolation is a spurner.; int1 & assump1 -> int2: the machicolation is a spurner and does humanize.; int2 & sent9 -> int3: the fact that the cemetery does not traffic Tridacnidae is right.; int3 & sent11 -> int4: that the fact that the almsgiver is not a half-mast or polyvalent or both is wrong is not incorrect.; sent12 & sent6 -> int5: the almsgiver is not a kind of a chisel.; sent7 & int5 -> int6: the almsgiver is not a half-mast and/or is polyvalent.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the machicolation is not a spurner is right.; int8 & sent4 -> hypothesis;
the fact that the shimmy traffics imipramine and is a spurner is incorrect.
sent20 -> int9: the machicolation does not traffic imipramine if the fact that it does humanize and is a levator does not hold.;
$hypothesis$ = the shimmy traffics imipramine and it is a spurner. ; $context$ = sent1: the machicolation does not humanize if that the cemetery humanize and is polyvalent is not correct. sent2: the machicolation is a kind of a levator that humanizes. sent3: if the machicolation does not traffic imipramine it does not humanize or it is a half-mast or both. sent4: that the shimmy does traffic imipramine and it is a spurner is not incorrect if the machicolation is not a spurner. sent5: something is not a half-mast and it is not a chisel if it is a Tussilago. sent6: the fact that if there is something such that it is a Tussilago then the almsgiver is not a kind of a chisel is correct. sent7: if the almsgiver is not a chisel it is not a half-mast and/or it is polyvalent. sent8: if the almsgiver is not a half-mast the cemetery is a half-mast. sent9: that the cemetery does not traffic Tridacnidae hold if the machicolation is a spurner and it humanizes. sent10: that something does not middle aardvark and/or it is agonadal is false if it is trihydroxy. sent11: if the fact that the cemetery does not traffic Tridacnidae is not false then the fact that the almsgiver is not a half-mast or is polyvalent or both is wrong. sent12: something is a Tussilago. sent13: the shimmy does traffic imipramine if that the machicolation is not a spurner is not incorrect. sent14: the machicolation is a levator. sent15: the fact that the almsgiver is not polyvalent is not wrong if the cemetery does not traffic Tridacnidae. sent16: that the fact that something traffics imipramine and is a spurner is not incorrect is not true if it is not a kind of a levator. sent17: if something is not a half-mast then that it humanizes and is polyvalent does not hold. sent18: if the almsgiver is not a kind of a half-mast then the shimmy does traffic imipramine and is a kind of a half-mast. sent19: the cemetery is a kind of a Tussilago if that it either does not middle aardvark or is agonadal or both is incorrect. sent20: something does not traffic imipramine if the fact that it humanizes and is a levator is not correct. sent21: the fact that the shimmy traffics imipramine is true. sent22: if the machicolation is not a spurner it does not humanize and/or it is polyvalent. sent23: that something traffics Tridacnidae but it is not a levator is not right if it does not humanize. sent24: the almsgiver is not polyvalent. sent25: the almsgiver is not a half-mast or it is not polyvalent or both. sent26: the machicolation does traffic Tridacnidae. ; $proof$ = 
sent2 -> int1: the machicolation humanizes.; void -> assump1: Let's assume that the machicolation is a spurner.; int1 & assump1 -> int2: the machicolation is a spurner and does humanize.; int2 & sent9 -> int3: the fact that the cemetery does not traffic Tridacnidae is right.; int3 & sent11 -> int4: that the fact that the almsgiver is not a half-mast or polyvalent or both is wrong is not incorrect.; sent12 & sent6 -> int5: the almsgiver is not a kind of a chisel.; sent7 & int5 -> int6: the almsgiver is not a half-mast and/or is polyvalent.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the fact that the machicolation is not a spurner is right.; int8 & sent4 -> hypothesis; __PROVED__