that the fact that the sarcomere is a kind of a skinful or it is a Paraguayan or both does not hold is true.
sent1: the marathoner is nonfinancial. sent2: the sarcomere is a kind of a skinful if it does consummate. sent3: the sarcomere consummates and it is nonfinancial.
sent3 -> int1: the sarcomere does consummate.; int1 & sent2 -> int2: the sarcomere is a skinful.; int2 -> hypothesis;
$hypothesis$ = that the fact that the sarcomere is a kind of a skinful or it is a Paraguayan or both does not hold is true. ; $context$ = sent1: the marathoner is nonfinancial. sent2: the sarcomere is a kind of a skinful if it does consummate. sent3: the sarcomere consummates and it is nonfinancial. ; $proof$ = 
sent3 -> int1: the sarcomere does consummate.; int1 & sent2 -> int2: the sarcomere is a skinful.; int2 -> hypothesis; __DISPROVED__