the fact that the tarsal is not Finnish and/or stunts lawman does not hold.
sent1: that something is not a kind of a Finnish and/or stunts lawman does not hold if the fact that it is not nilpotent hold. sent2: there exists nothing such that it is atrioventricular and it is not senatorial. sent3: if the fact that something is a flowchart but it is representational is not true it is not a kind of a unlikelihood. sent4: the wood-fern is a Leacock but it is not malodorous if it is a dockyard. sent5: the wood-fern is a kind of a dockyard. sent6: if the wood-fern is both a Leacock and not malodorous then the fact that the gynecologist is malodorous is right. sent7: if the tarsal is not atrioventricular it is not a kind of a Finnish. sent8: something is not a Finnish if that it is atrioventricular but not senatorial is false. sent9: if something is non-atrioventricular then it is not a Finnish. sent10: the tarsal either is a Finnish or stunts lawman or both.
sent8 -> int1: the fact that if that the tarsal is atrioventricular and not senatorial is not correct the tarsal is not a Finnish is right.; sent2 -> int2: the fact that the tarsal is atrioventricular but not senatorial does not hold.; int1 & int2 -> int3: the tarsal is not a Finnish.; int3 -> hypothesis;
that that the tarsal is not a kind of a Finnish and/or does stunt lawman is wrong is true.
sent1 -> int4: that either the tarsal is not Finnish or it does stunt lawman or both is wrong if it is non-nilpotent.; sent3 -> int5: the fact that the solid is not a kind of a unlikelihood is not wrong if that it is a kind of a flowchart and it is not nonrepresentational does not hold.; sent4 & sent5 -> int6: the wood-fern is both a Leacock and not malodorous.; sent6 & int6 -> int7: the gynecologist is malodorous.; int7 -> int8: there is something such that it is malodorous.;
$hypothesis$ = the fact that the tarsal is not Finnish and/or stunts lawman does not hold. ; $context$ = sent1: that something is not a kind of a Finnish and/or stunts lawman does not hold if the fact that it is not nilpotent hold. sent2: there exists nothing such that it is atrioventricular and it is not senatorial. sent3: if the fact that something is a flowchart but it is representational is not true it is not a kind of a unlikelihood. sent4: the wood-fern is a Leacock but it is not malodorous if it is a dockyard. sent5: the wood-fern is a kind of a dockyard. sent6: if the wood-fern is both a Leacock and not malodorous then the fact that the gynecologist is malodorous is right. sent7: if the tarsal is not atrioventricular it is not a kind of a Finnish. sent8: something is not a Finnish if that it is atrioventricular but not senatorial is false. sent9: if something is non-atrioventricular then it is not a Finnish. sent10: the tarsal either is a Finnish or stunts lawman or both. ; $proof$ = 
sent8 -> int1: the fact that if that the tarsal is atrioventricular and not senatorial is not correct the tarsal is not a Finnish is right.; sent2 -> int2: the fact that the tarsal is atrioventricular but not senatorial does not hold.; int1 & int2 -> int3: the tarsal is not a Finnish.; int3 -> hypothesis; __DISPROVED__