that there exists something such that if it is not a Oestridae then the fact that it does not run formality and it panics does not hold does not hold.
sent1: if something is a kind of a tug-of-war then the fact that it is both not epithelial and a Italian does not hold. sent2: the fact that the Charon is a kind of a Oestridae is not wrong if it does not run formality and it panics.
void -> assump1: Let's assume that the Charon does not run formality but it does panic.; sent2 & assump1 -> int1: the Charon is a kind of a Oestridae.; void -> assump2: Let's assume that the Charon is not a kind of a Oestridae.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Charon does not run formality and is a panic is not correct.; [assump2] & int3 -> int4: the fact that the Charon does not run formality but it is a panic does not hold if it is not a Oestridae.; int4 -> hypothesis;
the fact that the facing is not epithelial but it is Italian does not hold.
sent1 -> int5: the fact that the Charon is non-epithelial and Italian is not right if it is a tug-of-war.;
$hypothesis$ = that there exists something such that if it is not a Oestridae then the fact that it does not run formality and it panics does not hold does not hold. ; $context$ = sent1: if something is a kind of a tug-of-war then the fact that it is both not epithelial and a Italian does not hold. sent2: the fact that the Charon is a kind of a Oestridae is not wrong if it does not run formality and it panics. ; $proof$ = 
void -> assump1: Let's assume that the Charon does not run formality but it does panic.; sent2 & assump1 -> int1: the Charon is a kind of a Oestridae.; void -> assump2: Let's assume that the Charon is not a kind of a Oestridae.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the Charon does not run formality and is a panic is not correct.; [assump2] & int3 -> int4: the fact that the Charon does not run formality but it is a panic does not hold if it is not a Oestridae.; int4 -> hypothesis; __DISPROVED__