the fact that if the cuddy is not anthracitic then the fact that the Monegasque is tactful and it gesticulates moloch is not true is not true.
sent1: the Monegasque is not tactful if it does not gesticulate moloch and is anthracitic. sent2: if a non-anthracitic thing is fossorial then it is not tactful. sent3: the Monegasque gesticulates moloch and is anthracitic. sent4: if the Monegasque is tactful the fact that the cuddy does gesticulate moloch and it is anthracitic does not hold. sent5: the cuddy is fossorial and does gesticulate fisc. sent6: the Monegasque does not overgrow and is fossorial. sent7: the fact that the Monegasque is tactful and it does gesticulate moloch does not hold if the cuddy is not tactful. sent8: if that the cuddy is not tactful is true the Monegasque is fossorial and it gesticulates moloch. sent9: if the cuddy is anthracitic the fact that the Monegasque is tactful and gesticulates moloch is incorrect.
sent5 -> int1: the cuddy is fossorial.; void -> assump1: Let's assume that the cuddy is not anthracitic.; int1 & assump1 -> int2: the cuddy is both not anthracitic and fossorial.; sent2 -> int3: the cuddy is not tactful if it is not anthracitic and it is fossorial.; int2 & int3 -> int4: that the cuddy is not tactful is not incorrect.; int4 & sent7 -> int5: that the Monegasque is tactful and gesticulates moloch is not right.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that if the cuddy is not anthracitic then the fact that the Monegasque is tactful and it gesticulates moloch is not true is not true. ; $context$ = sent1: the Monegasque is not tactful if it does not gesticulate moloch and is anthracitic. sent2: if a non-anthracitic thing is fossorial then it is not tactful. sent3: the Monegasque gesticulates moloch and is anthracitic. sent4: if the Monegasque is tactful the fact that the cuddy does gesticulate moloch and it is anthracitic does not hold. sent5: the cuddy is fossorial and does gesticulate fisc. sent6: the Monegasque does not overgrow and is fossorial. sent7: the fact that the Monegasque is tactful and it does gesticulate moloch does not hold if the cuddy is not tactful. sent8: if that the cuddy is not tactful is true the Monegasque is fossorial and it gesticulates moloch. sent9: if the cuddy is anthracitic the fact that the Monegasque is tactful and gesticulates moloch is incorrect. ; $proof$ = 
sent5 -> int1: the cuddy is fossorial.; void -> assump1: Let's assume that the cuddy is not anthracitic.; int1 & assump1 -> int2: the cuddy is both not anthracitic and fossorial.; sent2 -> int3: the cuddy is not tactful if it is not anthracitic and it is fossorial.; int2 & int3 -> int4: that the cuddy is not tactful is not incorrect.; int4 & sent7 -> int5: that the Monegasque is tactful and gesticulates moloch is not right.; [assump1] & int5 -> hypothesis; __DISPROVED__