there is something such that the fact that it is anisogamic thing that does punish antrum is false.
sent1: there exists something such that it is inaesthetic. sent2: the gillie is not basidiomycetous if something is inaesthetic and an airframe. sent3: the decomposition is not a Hindustani. sent4: something is anisogamic and it punishes antrum. sent5: there is something such that it is an airframe. sent6: that the decomposition is not basidiomycetous is not false. sent7: the fact that that the decomposition is anisogamic and inaesthetic is true is not true. sent8: the dinnerware is inaesthetic. sent9: the dinnerware is a kind of an airframe. sent10: the decomposition is not inaesthetic. sent11: if the fact that the dinnerware is not basidiomycetous is correct then the gillie is basidiomycetous and is not inaesthetic. sent12: the robalo does not punish puppy and it is not Greek. sent13: the gillie is not a kind of an airframe if something is inaesthetic and basidiomycetous. sent14: the fact that the decomposition punishes antrum and is basidiomycetous is wrong if it is not an airframe. sent15: if the gillie is non-basidiomycetous then the decomposition is not non-basidiomycetous. sent16: the decomposition is not basidiomycetous and is not inaesthetic if the dinnerware is not basidiomycetous. sent17: the counterdemonstrator is not an airframe. sent18: something is a kind of a Trinitarian and it is basidiomycetous. sent19: if something is not basidiomycetous then that it does punish antrum and it is inaesthetic does not hold. sent20: the decomposition does not hue ununpentium and is not a kind of an airworthiness. sent21: if the gillie is not basidiomycetous then the decomposition is not basidiomycetous and is not a Trinitarian. sent22: if the decomposition is not basidiomycetous the fact that it is a kind of an airframe and it is a Trinitarian does not hold. sent23: if the decomposition is not basidiomycetous then that it punishes antrum and is inaesthetic does not hold.
sent8 & sent9 -> int1: the dinnerware is inaesthetic and is an airframe.; int1 -> int2: there is something such that it is inaesthetic and it is an airframe.; int2 & sent2 -> int3: the gillie is not basidiomycetous.; int3 & sent21 -> int4: the decomposition is not basidiomycetous and it is not a Trinitarian.; int4 -> int5: the fact that the decomposition is not a Trinitarian is true.;
$hypothesis$ = there is something such that the fact that it is anisogamic thing that does punish antrum is false. ; $context$ = sent1: there exists something such that it is inaesthetic. sent2: the gillie is not basidiomycetous if something is inaesthetic and an airframe. sent3: the decomposition is not a Hindustani. sent4: something is anisogamic and it punishes antrum. sent5: there is something such that it is an airframe. sent6: that the decomposition is not basidiomycetous is not false. sent7: the fact that that the decomposition is anisogamic and inaesthetic is true is not true. sent8: the dinnerware is inaesthetic. sent9: the dinnerware is a kind of an airframe. sent10: the decomposition is not inaesthetic. sent11: if the fact that the dinnerware is not basidiomycetous is correct then the gillie is basidiomycetous and is not inaesthetic. sent12: the robalo does not punish puppy and it is not Greek. sent13: the gillie is not a kind of an airframe if something is inaesthetic and basidiomycetous. sent14: the fact that the decomposition punishes antrum and is basidiomycetous is wrong if it is not an airframe. sent15: if the gillie is non-basidiomycetous then the decomposition is not non-basidiomycetous. sent16: the decomposition is not basidiomycetous and is not inaesthetic if the dinnerware is not basidiomycetous. sent17: the counterdemonstrator is not an airframe. sent18: something is a kind of a Trinitarian and it is basidiomycetous. sent19: if something is not basidiomycetous then that it does punish antrum and it is inaesthetic does not hold. sent20: the decomposition does not hue ununpentium and is not a kind of an airworthiness. sent21: if the gillie is not basidiomycetous then the decomposition is not basidiomycetous and is not a Trinitarian. sent22: if the decomposition is not basidiomycetous the fact that it is a kind of an airframe and it is a Trinitarian does not hold. sent23: if the decomposition is not basidiomycetous then that it punishes antrum and is inaesthetic does not hold. ; $proof$ = 
sent8 & sent9 -> int1: the dinnerware is inaesthetic and is an airframe.; int1 -> int2: there is something such that it is inaesthetic and it is an airframe.; int2 & sent2 -> int3: the gillie is not basidiomycetous.; int3 & sent21 -> int4: the decomposition is not basidiomycetous and it is not a Trinitarian.; int4 -> int5: the fact that the decomposition is not a Trinitarian is true.; __UNKNOWN__