「「もしも無期刑なら「染み込み易いということはなくておまけに親しない」ということは誤っている」物はある」ということは事実と異なる
fact1: もしなんらかのものは無期刑であるとしたら「染み込み易くないししかもそれは親しない」ということは本当でない
fact1 -> int1: もしもそのＪＰＮＩＣは無期刑ならば「それは染み込み易いということはなくて親しない」ということは偽だ; int1 -> hypothesis;
$facts$ = fact1: もしなんらかのものは無期刑であるとしたら「染み込み易くないししかもそれは親しない」ということは本当でない ; $hypothesis$ = 「「もしも無期刑なら「染み込み易いということはなくておまけに親しない」ということは誤っている」物はある」ということは事実と異なる ; $proof$ = 
fact1 -> int1: もしもそのＪＰＮＩＣは無期刑ならば「それは染み込み易いということはなくて親しない」ということは偽だ; int1 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものは無期刑であるとしたら「染み込み易くないししかもそれは親しない」ということは本当でない

仮説: 「「もしも無期刑なら「染み込み易いということはなくておまけに親しない」ということは誤っている」物はある」ということは事実と異なる
1. 事実1から、推論1: "もしもそのＪＰＮＩＣは無期刑ならば「それは染み込み易いということはなくて親しない」ということは偽だ"が導かれる
2. 推論1から、仮説が否定される

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