この本工はリックＲＡＣだ
fact1: もし仮に「なんらかの物は有り付けないし加えて愛情深くない」ということは誤っているとするとリックＲＡＣでない fact2: この組織は御不満であるということはなくてそれは進め易くない fact3: もしもある物は御不満でないとすれば「それは有り付けないしさらに愛情深いということはない」ということは成り立つということはない fact4: もしこの組織が御不満でないししかも進め易くないならこの本工は御不満であるということはない fact5: この本工は進め易いということはない
fact3 -> int1: もし仮にこの本工は御不満であるということはないとすると「有り付けないしそれにそれは愛情深くない」ということは成り立たない; fact4 & fact2 -> int2: この本工は御不満でない; int1 & int2 -> int3: 「この本工は有り付けないし加えて愛情深くない」ということは誤りだ; fact1 -> int4: 「この本工は有り付けないしそれに愛情深いということはない」ということは成り立たないならリックＲＡＣでない; int3 & int4 -> hypothesis;
$facts$ = fact1: もし仮に「なんらかの物は有り付けないし加えて愛情深くない」ということは誤っているとするとリックＲＡＣでない fact2: この組織は御不満であるということはなくてそれは進め易くない fact3: もしもある物は御不満でないとすれば「それは有り付けないしさらに愛情深いということはない」ということは成り立つということはない fact4: もしこの組織が御不満でないししかも進め易くないならこの本工は御不満であるということはない fact5: この本工は進め易いということはない ; $hypothesis$ = この本工はリックＲＡＣだ ; $proof$ = 
fact3 -> int1: もし仮にこの本工は御不満であるということはないとすると「有り付けないしそれにそれは愛情深くない」ということは成り立たない; fact4 & fact2 -> int2: この本工は御不満でない; int1 & int2 -> int3: 「この本工は有り付けないし加えて愛情深くない」ということは誤りだ; fact1 -> int4: 「この本工は有り付けないしそれに愛情深いということはない」ということは成り立たないならリックＲＡＣでない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかの物は有り付けないし加えて愛情深くない」ということは誤っているとするとリックＲＡＣでない
事実2: この組織は御不満であるということはなくてそれは進め易くない
事実3: もしもある物は御不満でないとすれば「それは有り付けないしさらに愛情深いということはない」ということは成り立つということはない
事実4: もしこの組織が御不満でないししかも進め易くないならこの本工は御不満であるということはない
事実5: この本工は進め易いということはない

仮説: この本工はリックＲＡＣだ
1. 事実3から、推論1: "もし仮にこの本工は御不満であるということはないとすると「有り付けないしそれにそれは愛情深くない」ということは成り立たない"が導かれる
2. 事実4と事実2から、推論2: "この本工は御不満でない"が導かれる
3. 推論1と推論2から、推論3: "「この本工は有り付けないし加えて愛情深くない」ということは誤りだ"が導かれる
4. 事実1から、推論4: "「この本工は有り付けないしそれに愛情深いということはない」ということは成り立たないならリックＲＡＣでない"が導かれる
5. 推論3と推論4から、仮説が否定される

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