something is a biome.
sent1: something is a biome if it is not non-tarsal. sent2: the headrest is tarsal if there is something such that the fact that it is both non-neuroglial and not non-downstage is wrong. sent3: there is something such that the fact that it is not neuroglial and it is a downstage does not hold.
sent3 & sent2 -> int1: the headrest is a tarsal.; sent1 -> int2: the headrest is a biome if it is a tarsal.; int1 & int2 -> int3: the fact that the headrest is a biome is right.; int3 -> hypothesis;
$hypothesis$ = something is a biome. ; $context$ = sent1: something is a biome if it is not non-tarsal. sent2: the headrest is tarsal if there is something such that the fact that it is both non-neuroglial and not non-downstage is wrong. sent3: there is something such that the fact that it is not neuroglial and it is a downstage does not hold. ; $proof$ = 
sent3 & sent2 -> int1: the headrest is a tarsal.; sent1 -> int2: the headrest is a biome if it is a tarsal.; int1 & int2 -> int3: the fact that the headrest is a biome is right.; int3 -> hypothesis; __PROVED__