that there is something such that if it is a kind of a muslin the fact that it is non-sustentacular thing that is a Triassic does not hold is not correct.
sent1: if the gudgeon is not sustentacular but it is a Triassic it is not a kind of a muslin. sent2: there exists something such that if it is sad the fact that it is a kind of hemal thing that does citify is incorrect.
void -> assump1: Let's assume that the gudgeon is non-sustentacular a Triassic.; sent1 & assump1 -> int1: the gudgeon is not a muslin.; void -> assump2: Let's assume that the gudgeon is a muslin.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fact that the gudgeon is not sustentacular but it is Triassic is not right hold.; [assump2] & int3 -> int4: if the gudgeon is a muslin then the fact that it is not sustentacular but Triassic is not true.; int4 -> hypothesis;
$hypothesis$ = that there is something such that if it is a kind of a muslin the fact that it is non-sustentacular thing that is a Triassic does not hold is not correct. ; $context$ = sent1: if the gudgeon is not sustentacular but it is a Triassic it is not a kind of a muslin. sent2: there exists something such that if it is sad the fact that it is a kind of hemal thing that does citify is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the gudgeon is non-sustentacular a Triassic.; sent1 & assump1 -> int1: the gudgeon is not a muslin.; void -> assump2: Let's assume that the gudgeon is a muslin.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the fact that the gudgeon is not sustentacular but it is Triassic is not right hold.; [assump2] & int3 -> int4: if the gudgeon is a muslin then the fact that it is not sustentacular but Triassic is not true.; int4 -> hypothesis; __DISPROVED__