that that the utahraptor does not concern bimetallism and it is not ectodermal is not false does not hold.
sent1: if there exists something such that that it is not reputable and/or it is not splashy does not hold then the utahraptor is not Huxleyan. sent2: if something is not Huxleyan it does not sound. sent3: if something does not concern bimetallism and is not ectodermal it does sound. sent4: there is something such that the fact that it is not reputable and/or it is not splashy is false.
sent3 -> int1: the utahraptor is a sound if that it does not concern bimetallism and it is not ectodermal hold.; void -> assump1: Let's assume that the utahraptor does not concern bimetallism and is not ectodermal.; int1 & assump1 -> int2: the utahraptor sounds.; sent2 -> int3: the utahraptor is not a sound if it is not Huxleyan.; sent4 & sent1 -> int4: the utahraptor is non-Huxleyan.; int3 & int4 -> int5: the utahraptor is not a kind of a sound.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = that that the utahraptor does not concern bimetallism and it is not ectodermal is not false does not hold. ; $context$ = sent1: if there exists something such that that it is not reputable and/or it is not splashy does not hold then the utahraptor is not Huxleyan. sent2: if something is not Huxleyan it does not sound. sent3: if something does not concern bimetallism and is not ectodermal it does sound. sent4: there is something such that the fact that it is not reputable and/or it is not splashy is false. ; $proof$ = 
sent3 -> int1: the utahraptor is a sound if that it does not concern bimetallism and it is not ectodermal hold.; void -> assump1: Let's assume that the utahraptor does not concern bimetallism and is not ectodermal.; int1 & assump1 -> int2: the utahraptor sounds.; sent2 -> int3: the utahraptor is not a sound if it is not Huxleyan.; sent4 & sent1 -> int4: the utahraptor is non-Huxleyan.; int3 & int4 -> int5: the utahraptor is not a kind of a sound.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__