the fact that if that the vesuvianite is a gasp but not a 1820s is incorrect the cat's-ear does not capture kph is false.
sent1: if something does not capture cat's-ear that it is a kind of a gasp and it does not capture kph is not right. sent2: something does not capture kph if it does not capture cat's-ear. sent3: the cat's-ear does not capture cat's-ear if that the vesuvianite is a gasp and is not a 1820s is wrong.
void -> assump1: Let's assume that that the vesuvianite is a gasp but it is not a 1820s is false.; sent3 & assump1 -> int1: the cat's-ear does not capture cat's-ear.; sent2 -> int2: if the cat's-ear does not capture cat's-ear it does not capture kph.; int1 & int2 -> int3: the cat's-ear does not capture kph.; [assump1] & int3 -> hypothesis;
the cat's-ear is not a gasp.
sent1 -> int4: that the vesuvianite is a kind of a gasp but it does not capture kph is not right if it does not capture cat's-ear.;
$hypothesis$ = the fact that if that the vesuvianite is a gasp but not a 1820s is incorrect the cat's-ear does not capture kph is false. ; $context$ = sent1: if something does not capture cat's-ear that it is a kind of a gasp and it does not capture kph is not right. sent2: something does not capture kph if it does not capture cat's-ear. sent3: the cat's-ear does not capture cat's-ear if that the vesuvianite is a gasp and is not a 1820s is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the vesuvianite is a gasp but it is not a 1820s is false.; sent3 & assump1 -> int1: the cat's-ear does not capture cat's-ear.; sent2 -> int2: if the cat's-ear does not capture cat's-ear it does not capture kph.; int1 & int2 -> int3: the cat's-ear does not capture kph.; [assump1] & int3 -> hypothesis; __DISPROVED__