the horse is a kind of a clang.
sent1: if there is something such that it is not a kind of a capitalization that the fact that the seta is a kind of a misogyny that is not a Mazama is wrong hold. sent2: something is footless. sent3: if there exists something such that that it is footless is correct that the achromatin is not a capitalization hold. sent4: the horse is a Mazama. sent5: if the Hidatsa does espouse then the fact that it does remodel RN is not wrong. sent6: the lypressin is not a clang if the Hidatsa does adjoin thrashing and remodels RN. sent7: if the horse is not a kind of a misogyny then the seta clangs and it is a kind of a misogyny. sent8: there exists something such that it is a kind of a Mazama. sent9: if the horse does not espouse then the fact that the Hidatsa is a kind of a clang that does espouse is not false. sent10: the Hidatsa espouses. sent11: the Hidatsa adjoins thrashing if the seta is a kind of a Mazama. sent12: if there exists something such that the fact that it is a kind of a capitalization and is not footless is wrong the achromatin is footless. sent13: if the lypressin does not clang the horse is a Abruzzi and it is a clang. sent14: there exists something such that it is a capitalization. sent15: something that is footless is hooflike. sent16: the Hidatsa does adjoin thrashing if that the seta is a misogyny but it is not a Mazama is not true.
sent2 & sent3 -> int1: the achromatin is not a capitalization.; int1 -> int2: there is something such that it is not a capitalization.; int2 & sent1 -> int3: the fact that the seta is a kind of a misogyny that is not a Mazama is not correct.; int3 & sent16 -> int4: the Hidatsa does adjoin thrashing.; sent5 & sent10 -> int5: the Hidatsa remodels RN.; int4 & int5 -> int6: that the Hidatsa adjoins thrashing and remodels RN is true.; int6 & sent6 -> int7: the lypressin does not clang.; int7 & sent13 -> int8: the horse is both a Abruzzi and a clang.; int8 -> hypothesis;
there is something such that it is hooflike.
sent15 -> int9: the fact that the achromatin is hooflike if the achromatin is footless is right.;
$hypothesis$ = the horse is a kind of a clang. ; $context$ = sent1: if there is something such that it is not a kind of a capitalization that the fact that the seta is a kind of a misogyny that is not a Mazama is wrong hold. sent2: something is footless. sent3: if there exists something such that that it is footless is correct that the achromatin is not a capitalization hold. sent4: the horse is a Mazama. sent5: if the Hidatsa does espouse then the fact that it does remodel RN is not wrong. sent6: the lypressin is not a clang if the Hidatsa does adjoin thrashing and remodels RN. sent7: if the horse is not a kind of a misogyny then the seta clangs and it is a kind of a misogyny. sent8: there exists something such that it is a kind of a Mazama. sent9: if the horse does not espouse then the fact that the Hidatsa is a kind of a clang that does espouse is not false. sent10: the Hidatsa espouses. sent11: the Hidatsa adjoins thrashing if the seta is a kind of a Mazama. sent12: if there exists something such that the fact that it is a kind of a capitalization and is not footless is wrong the achromatin is footless. sent13: if the lypressin does not clang the horse is a Abruzzi and it is a clang. sent14: there exists something such that it is a capitalization. sent15: something that is footless is hooflike. sent16: the Hidatsa does adjoin thrashing if that the seta is a misogyny but it is not a Mazama is not true. ; $proof$ = 
sent2 & sent3 -> int1: the achromatin is not a capitalization.; int1 -> int2: there is something such that it is not a capitalization.; int2 & sent1 -> int3: the fact that the seta is a kind of a misogyny that is not a Mazama is not correct.; int3 & sent16 -> int4: the Hidatsa does adjoin thrashing.; sent5 & sent10 -> int5: the Hidatsa remodels RN.; int4 & int5 -> int6: that the Hidatsa adjoins thrashing and remodels RN is true.; int6 & sent6 -> int7: the lypressin does not clang.; int7 & sent13 -> int8: the horse is both a Abruzzi and a clang.; int8 -> hypothesis; __PROVED__