このナイーブＴ細胞は醜男でない
fact1: 行き難いものは醜男である fact2: このナイーブＴ細胞は行き難くてそれに一念発起する
fact2 -> int1: このナイーブＴ細胞は行き難い; fact1 -> int2: もしこのナイーブＴ細胞が行き難いならば醜男である; int1 & int2 -> hypothesis;
fact2 -> int1: {A}{a}; fact1 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: 行き難いものは醜男である fact2: このナイーブＴ細胞は行き難くてそれに一念発起する ; $hypothesis$ = このナイーブＴ細胞は醜男でない ; $proof$ = 
fact2 -> int1: このナイーブＴ細胞は行き難い; fact1 -> int2: もしこのナイーブＴ細胞が行き難いならば醜男である; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 行き難いものは醜男である
事実2: このナイーブＴ細胞は行き難くてそれに一念発起する

仮説: このナイーブＴ細胞は醜男でない
1. 事実2から、推論1: "このナイーブＴ細胞は行き難い"が導かれる
2. 事実1から、推論2: "もしこのナイーブＴ細胞が行き難いならば醜男である"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。