something is a Kremlin and is a tarsal.
sent1: the Espagnole is a kind of a Kremlin. sent2: the arquebus is not a scratcher. sent3: the chromophore is a heredity if it is a kind of a Hadean. sent4: the fact that the photocoagulator is not non-tarsal but it is not colorectal is wrong. sent5: the photocoagulator is not non-tarsal if the Espagnole is not an explosive. sent6: the arquebus is colorectal. sent7: something is a Kremlin. sent8: if the Espagnole is unconscious it is colorectal. sent9: if a heredity is a scratcher then it is not a tarsal. sent10: there exists something such that it is a kind of an explosive and is colorectal. sent11: the arquebus is a scratcher if it is a heredity. sent12: that the photocoagulator is colorectal and not tarsal is not true. sent13: the Espagnole is explosive. sent14: that the arquebus is a heredity but it is not colorectal does not hold. sent15: the arquebus is a heredity if the Espagnole is a kind of an explosive that is not colorectal. sent16: there are non-bismuthal things. sent17: the photocoagulator is a Kremlin. sent18: there is something such that it is tarsal. sent19: if that the Espagnole is an explosive and non-colorectal is false that the photocoagulator is a tarsal is right.
void -> assump1: Let's assume that the Espagnole is both an explosive and not colorectal.; sent15 & assump1 -> int1: the arquebus is a heredity.; int1 & sent11 -> int2: the arquebus is a kind of a scratcher.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Espagnole is both not nonexplosive and not colorectal is not right.; int4 & sent19 -> int5: the photocoagulator is a tarsal.; int5 & sent17 -> int6: the photocoagulator is a Kremlin and it is tarsal.; int6 -> hypothesis;
the chromophore is not tarsal.
sent9 -> int7: if the chromophore is a heredity and it is a scratcher it is not a tarsal.;
$hypothesis$ = something is a Kremlin and is a tarsal. ; $context$ = sent1: the Espagnole is a kind of a Kremlin. sent2: the arquebus is not a scratcher. sent3: the chromophore is a heredity if it is a kind of a Hadean. sent4: the fact that the photocoagulator is not non-tarsal but it is not colorectal is wrong. sent5: the photocoagulator is not non-tarsal if the Espagnole is not an explosive. sent6: the arquebus is colorectal. sent7: something is a Kremlin. sent8: if the Espagnole is unconscious it is colorectal. sent9: if a heredity is a scratcher then it is not a tarsal. sent10: there exists something such that it is a kind of an explosive and is colorectal. sent11: the arquebus is a scratcher if it is a heredity. sent12: that the photocoagulator is colorectal and not tarsal is not true. sent13: the Espagnole is explosive. sent14: that the arquebus is a heredity but it is not colorectal does not hold. sent15: the arquebus is a heredity if the Espagnole is a kind of an explosive that is not colorectal. sent16: there are non-bismuthal things. sent17: the photocoagulator is a Kremlin. sent18: there is something such that it is tarsal. sent19: if that the Espagnole is an explosive and non-colorectal is false that the photocoagulator is a tarsal is right. ; $proof$ = 
void -> assump1: Let's assume that the Espagnole is both an explosive and not colorectal.; sent15 & assump1 -> int1: the arquebus is a heredity.; int1 & sent11 -> int2: the arquebus is a kind of a scratcher.; int2 & sent2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Espagnole is both not nonexplosive and not colorectal is not right.; int4 & sent19 -> int5: the photocoagulator is a tarsal.; int5 & sent17 -> int6: the photocoagulator is a Kremlin and it is tarsal.; int6 -> hypothesis; __PROVED__