that the crabs does copy petitioner if the fact that the ununtrium is tropical is not wrong is false.
sent1: the fact that the fact that the crabs is a porridge and is not endocentric hold does not hold. sent2: if that something is not a mock and it is not a manipulability does not hold it is natriuretic. sent3: something is not tropical if it is miscible and is a kind of a porridge. sent4: if the ununtrium is not miscible then that the crabs is not inspiratory and not endocentric is wrong. sent5: if that something is not inspiratory and is not endocentric is not correct it copies petitioner. sent6: the ununtrium is a porridge.
void -> assump2: Let's assume that the ununtrium is miscible.; assump2 & sent6 -> int1: the ununtrium is miscible and a porridge.; sent3 -> int2: the fact that the ununtrium is not tropical is correct if it is miscible and is a kind of a porridge.; int1 & int2 -> int3: the ununtrium is not tropical.; void -> assump1: Let's assume that the ununtrium is tropical.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the ununtrium is not miscible.; int5 & sent4 -> int6: the fact that the crabs is not inspiratory and it is not endocentric is not correct.; sent5 -> int7: if the fact that the crabs is both non-inspiratory and not endocentric is not correct it copies petitioner.; int6 & int7 -> int8: the crabs does copy petitioner.; [assump1] & int8 -> hypothesis;
$hypothesis$ = that the crabs does copy petitioner if the fact that the ununtrium is tropical is not wrong is false. ; $context$ = sent1: the fact that the fact that the crabs is a porridge and is not endocentric hold does not hold. sent2: if that something is not a mock and it is not a manipulability does not hold it is natriuretic. sent3: something is not tropical if it is miscible and is a kind of a porridge. sent4: if the ununtrium is not miscible then that the crabs is not inspiratory and not endocentric is wrong. sent5: if that something is not inspiratory and is not endocentric is not correct it copies petitioner. sent6: the ununtrium is a porridge. ; $proof$ = 
void -> assump2: Let's assume that the ununtrium is miscible.; assump2 & sent6 -> int1: the ununtrium is miscible and a porridge.; sent3 -> int2: the fact that the ununtrium is not tropical is correct if it is miscible and is a kind of a porridge.; int1 & int2 -> int3: the ununtrium is not tropical.; void -> assump1: Let's assume that the ununtrium is tropical.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: the ununtrium is not miscible.; int5 & sent4 -> int6: the fact that the crabs is not inspiratory and it is not endocentric is not correct.; sent5 -> int7: if the fact that the crabs is both non-inspiratory and not endocentric is not correct it copies petitioner.; int6 & int7 -> int8: the crabs does copy petitioner.; [assump1] & int8 -> hypothesis; __DISPROVED__