the greenhood does play abstraction.
sent1: the topgallant is a kind of a compromise if it is unofficial. sent2: the spelt is not a lurch. sent3: if the slit is a kind of a permanence the topgallant is a lurch. sent4: the iodide is not hateful if the fact that the Dalmatian inflates HF and is hateful does not hold. sent5: if the iodide plays abstraction and it is a kind of a compromise then the greenhood does not plays abstraction. sent6: the iodide does compromise if the spelt does not compromise. sent7: the fact that the iodide is a kind of an assassin is right. sent8: the fact that the greenhood is not a permanence hold if the iodide does not play abstraction. sent9: the Dalmatian does not inflate coverlet. sent10: the spelt compromises. sent11: the greenhood does play abstraction if the iodide is a permanence. sent12: if the fact that something does not bet and is not diametral is false it is a kind of a bet. sent13: the topgallant is not a compromise if that the spelt is an assassin and a dodecahedron is not correct. sent14: that the spelt is both an assassin and a dodecahedron is wrong if the iodide is not a kind of a lurch. sent15: the spelt is not a kind of a compromise if the topgallant does lurch. sent16: if something is a bet then it is a permanence. sent17: that the Dalmatian does inflate HF and is hateful is not right if that it does not inflate coverlet is right. sent18: the topgallant is unofficial. sent19: something is unofficial thing that does play abstraction if it is not hateful. sent20: the spelt is not unofficial. sent21: if the fact that something does not lurch and is a dodecahedron is false it is not a dodecahedron. sent22: the iodide is not a dodecahedron if the fact that the greenhood plays abstraction and it is a permanence does not hold.
void -> assump1: Let's assume that the iodide does not lurch.; sent14 & assump1 -> int1: that the spelt is an assassin and is a kind of a dodecahedron is not correct.; int1 & sent13 -> int2: the topgallant is not a compromise.; sent1 & sent18 -> int3: that the topgallant does not compromise does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the iodide lurches.;
that the greenhood is a dodecahedron and is aeromechanic is incorrect.
sent21 -> int6: the iodide is not a dodecahedron if the fact that it is not a lurch and it is a dodecahedron is not right.;
$hypothesis$ = the greenhood does play abstraction. ; $context$ = sent1: the topgallant is a kind of a compromise if it is unofficial. sent2: the spelt is not a lurch. sent3: if the slit is a kind of a permanence the topgallant is a lurch. sent4: the iodide is not hateful if the fact that the Dalmatian inflates HF and is hateful does not hold. sent5: if the iodide plays abstraction and it is a kind of a compromise then the greenhood does not plays abstraction. sent6: the iodide does compromise if the spelt does not compromise. sent7: the fact that the iodide is a kind of an assassin is right. sent8: the fact that the greenhood is not a permanence hold if the iodide does not play abstraction. sent9: the Dalmatian does not inflate coverlet. sent10: the spelt compromises. sent11: the greenhood does play abstraction if the iodide is a permanence. sent12: if the fact that something does not bet and is not diametral is false it is a kind of a bet. sent13: the topgallant is not a compromise if that the spelt is an assassin and a dodecahedron is not correct. sent14: that the spelt is both an assassin and a dodecahedron is wrong if the iodide is not a kind of a lurch. sent15: the spelt is not a kind of a compromise if the topgallant does lurch. sent16: if something is a bet then it is a permanence. sent17: that the Dalmatian does inflate HF and is hateful is not right if that it does not inflate coverlet is right. sent18: the topgallant is unofficial. sent19: something is unofficial thing that does play abstraction if it is not hateful. sent20: the spelt is not unofficial. sent21: if the fact that something does not lurch and is a dodecahedron is false it is not a dodecahedron. sent22: the iodide is not a dodecahedron if the fact that the greenhood plays abstraction and it is a permanence does not hold. ; $proof$ = 
void -> assump1: Let's assume that the iodide does not lurch.; sent14 & assump1 -> int1: that the spelt is an assassin and is a kind of a dodecahedron is not correct.; int1 & sent13 -> int2: the topgallant is not a compromise.; sent1 & sent18 -> int3: that the topgallant does not compromise does not hold.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the iodide lurches.; __UNKNOWN__