「その奇妙さは悪しくない」ということは確かだ
fact1: 「もし仮に「その実践的聞き取り技術は密売しない」ということは間違いでないとすれば「その奇妙さは味方機でなくてその上悪しくない」ということは本当である」ということは正しい fact2: 仮に諸行往生が衰弱しないならば悪しい fact3: その奇妙さは諸行往生だけど衰弱するということはない
fact2 -> int1: もしもその奇妙さが諸行往生であるがしかしそれが衰弱しないなら悪しい; int1 & fact3 -> hypothesis;
その奇妙さは悪しくない
$facts$ = fact1: 「もし仮に「その実践的聞き取り技術は密売しない」ということは間違いでないとすれば「その奇妙さは味方機でなくてその上悪しくない」ということは本当である」ということは正しい fact2: 仮に諸行往生が衰弱しないならば悪しい fact3: その奇妙さは諸行往生だけど衰弱するということはない ; $hypothesis$ = 「その奇妙さは悪しくない」ということは確かだ ; $proof$ = 
fact2 -> int1: もしもその奇妙さが諸行往生であるがしかしそれが衰弱しないなら悪しい; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: 「もし仮に「その実践的聞き取り技術は密売しない」ということは間違いでないとすれば「その奇妙さは味方機でなくてその上悪しくない」ということは本当である」ということは正しい
事実2: 仮に諸行往生が衰弱しないならば悪しい
事実3: その奇妙さは諸行往生だけど衰弱するということはない

仮説: 「その奇妙さは悪しくない」ということは確かだ
1. 事実2から、推論1: "もしもその奇妙さが諸行往生であるがしかしそれが衰弱しないなら悪しい"が導かれる
2. 推論1と事実3から、仮説が否定される

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