その事実関係は働き易い
fact1: 「「その事実関係は御渡ししなくておまけに慕わしくない」ということは成り立たない」ということは確かである fact2: もしも「何かはＫＡＹであるということはないし加えて着流しであるということはない」ということは成り立たないとすれば落ち着くということはない fact3: もし「何らかの物は聳えないしおまけにか細くない」ということは誤っていればそれは働き易くない fact4: この原子力発電はリハーサルするし測り難い fact5: もし仮にこの原子力発電は測り難いとすると「その事実関係は聳えるということはなくてまたか細くない」ということは成り立たない fact6: この原子力発電は仕事出来る fact7: もしも何かは聳えるならそれは測り難いということはない fact8: 「その事実関係は測り難くないし閉鎖音であるということはない」ということは成り立たない
fact4 -> int1: この原子力発電は測り難い; int1 & fact5 -> int2: 「その事実関係は聳えないしその上か細くない」ということは真実でない; fact3 -> int3: もしも「その事実関係は聳えないし更にか細くない」ということは誤っているなら働き易くない; int2 & int3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact5 -> int2: ¬(¬{C}{b} & ¬{D}{b}); fact3 -> int3: ¬(¬{C}{b} & ¬{D}{b}) -> ¬{E}{b}; int2 & int3 -> hypothesis;
その事実関係は働き易い
fact9 -> int4: もしもこの原子力発電が聳えるとするとそれは測り難いということはない;
$facts$ = fact1: 「「その事実関係は御渡ししなくておまけに慕わしくない」ということは成り立たない」ということは確かである fact2: もしも「何かはＫＡＹであるということはないし加えて着流しであるということはない」ということは成り立たないとすれば落ち着くということはない fact3: もし「何らかの物は聳えないしおまけにか細くない」ということは誤っていればそれは働き易くない fact4: この原子力発電はリハーサルするし測り難い fact5: もし仮にこの原子力発電は測り難いとすると「その事実関係は聳えるということはなくてまたか細くない」ということは成り立たない fact6: この原子力発電は仕事出来る fact7: もしも何かは聳えるならそれは測り難いということはない fact8: 「その事実関係は測り難くないし閉鎖音であるということはない」ということは成り立たない ; $hypothesis$ = その事実関係は働き易い ; $proof$ = 
fact4 -> int1: この原子力発電は測り難い; int1 & fact5 -> int2: 「その事実関係は聳えないしその上か細くない」ということは真実でない; fact3 -> int3: もしも「その事実関係は聳えないし更にか細くない」ということは誤っているなら働き易くない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: 「「その事実関係は御渡ししなくておまけに慕わしくない」ということは成り立たない」ということは確かである
事実2: もしも「何かはＫＡＹであるということはないし加えて着流しであるということはない」ということは成り立たないとすれば落ち着くということはない
事実3: もし「何らかの物は聳えないしおまけにか細くない」ということは誤っていればそれは働き易くない
事実4: この原子力発電はリハーサルするし測り難い
事実5: もし仮にこの原子力発電は測り難いとすると「その事実関係は聳えるということはなくてまたか細くない」ということは成り立たない
事実6: この原子力発電は仕事出来る
事実7: もしも何かは聳えるならそれは測り難いということはない
事実8: 「その事実関係は測り難くないし閉鎖音であるということはない」ということは成り立たない

仮説: その事実関係は働き易い
1. 事実4から、推論1: "この原子力発電は測り難い"が導かれる
2. 推論1と事実5から、推論2: "「その事実関係は聳えないしその上か細くない」ということは真実でない"が導かれる
3. 事実3から、推論3: "もしも「その事実関係は聳えないし更にか細くない」ということは誤っているなら働き易くない"が導かれる
4. 推論2と推論3から、仮説が否定される

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