この決定打はせこいということはない
fact1: 「あの高齢者介護は心弱いしその上ｘＢである」ということは事実と異なる fact2: もし仮になにがしかの物は舞わないがしかし御覧下さればそれは理不尽さだということはない fact3: もしも「何らかの物は舞わないし加えて御覧下さらない」ということは本当だとしたらそれは理不尽さでない fact4: もし仮に「あの高齢者介護は心弱いしさらにＸＢである」ということは正しくないならその九十八ページ参照はＸＢだということはない fact5: 仮になにがしかのものが制服警官だとすればこの決定打は舞わないしかつ御覧下さらない fact6: 「あの高齢者介護は礼儀正しくない」ということは確かである fact7: もし「その九十八ページ参照はＸＢでない」ということは成り立つとしたらそれは再審請求棄却決定だ fact8: この決定打は御覧下さるということはない fact9: 仮にこの決定打が理不尽さであるということはなくて更に礼儀正しくないとすればその九十八ページ参照は頼もしくない fact10: 礼儀正しいものはせこい fact11: なにかは制服警官である fact12: 「もしもその九十八ページ参照がＸＢでないとすればその九十八ページ参照は頼もしくておまけに再審請求棄却決定である」ということは成り立つ
fact3 -> int1: もしもこの決定打が舞わないし御覧下さらないとすれば「それは理不尽さでない」ということは成り立つ; fact11 & fact5 -> int2: この決定打は舞わないしかつ御覧下さらない; int1 & int2 -> int3: この決定打は理不尽さでない; void -> assump1: 以下のように仮定する。この決定打は礼儀正しくない; int3 & assump1 -> int4: この決定打は理不尽さでなくてそれは礼儀正しくない; int4 & fact9 -> int5: その九十八ページ参照は頼もしくない; fact4 & fact1 -> int6: その九十八ページ参照はＸＢだということはない; fact12 & int6 -> int7: その九十八ページ参照は頼もしくてまた再審請求棄却決定である; int7 -> int8: その九十八ページ参照は頼もしい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この決定打は礼儀正しい; fact10 -> int11: この決定打が礼儀正しいならばそれはせこい; int10 & int11 -> hypothesis;
$facts$ = fact1: 「あの高齢者介護は心弱いしその上ｘＢである」ということは事実と異なる fact2: もし仮になにがしかの物は舞わないがしかし御覧下さればそれは理不尽さだということはない fact3: もしも「何らかの物は舞わないし加えて御覧下さらない」ということは本当だとしたらそれは理不尽さでない fact4: もし仮に「あの高齢者介護は心弱いしさらにＸＢである」ということは正しくないならその九十八ページ参照はＸＢだということはない fact5: 仮になにがしかのものが制服警官だとすればこの決定打は舞わないしかつ御覧下さらない fact6: 「あの高齢者介護は礼儀正しくない」ということは確かである fact7: もし「その九十八ページ参照はＸＢでない」ということは成り立つとしたらそれは再審請求棄却決定だ fact8: この決定打は御覧下さるということはない fact9: 仮にこの決定打が理不尽さであるということはなくて更に礼儀正しくないとすればその九十八ページ参照は頼もしくない fact10: 礼儀正しいものはせこい fact11: なにかは制服警官である fact12: 「もしもその九十八ページ参照がＸＢでないとすればその九十八ページ参照は頼もしくておまけに再審請求棄却決定である」ということは成り立つ ; $hypothesis$ = この決定打はせこいということはない ; $proof$ = 
fact3 -> int1: もしもこの決定打が舞わないし御覧下さらないとすれば「それは理不尽さでない」ということは成り立つ; fact11 & fact5 -> int2: この決定打は舞わないしかつ御覧下さらない; int1 & int2 -> int3: この決定打は理不尽さでない; void -> assump1: 以下のように仮定する。この決定打は礼儀正しくない; int3 & assump1 -> int4: この決定打は理不尽さでなくてそれは礼儀正しくない; int4 & fact9 -> int5: その九十八ページ参照は頼もしくない; fact4 & fact1 -> int6: その九十八ページ参照はＸＢだということはない; fact12 & int6 -> int7: その九十八ページ参照は頼もしくてまた再審請求棄却決定である; int7 -> int8: その九十八ページ参照は頼もしい; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この決定打は礼儀正しい; fact10 -> int11: この決定打が礼儀正しいならばそれはせこい; int10 & int11 -> hypothesis; __DISPROVED__
事実1: 「あの高齢者介護は心弱いしその上ｘＢである」ということは事実と異なる
事実2: もし仮になにがしかの物は舞わないがしかし御覧下さればそれは理不尽さだということはない
事実3: もしも「何らかの物は舞わないし加えて御覧下さらない」ということは本当だとしたらそれは理不尽さでない
事実4: もし仮に「あの高齢者介護は心弱いしさらにＸＢである」ということは正しくないならその九十八ページ参照はＸＢだということはない
事実5: 仮になにがしかのものが制服警官だとすればこの決定打は舞わないしかつ御覧下さらない
事実6: 「あの高齢者介護は礼儀正しくない」ということは確かである
事実7: もし「その九十八ページ参照はＸＢでない」ということは成り立つとしたらそれは再審請求棄却決定だ
事実8: この決定打は御覧下さるということはない
事実9: 仮にこの決定打が理不尽さであるということはなくて更に礼儀正しくないとすればその九十八ページ参照は頼もしくない
事実10: 礼儀正しいものはせこい
事実11: なにかは制服警官である
事実12: 「もしもその九十八ページ参照がＸＢでないとすればその九十八ページ参照は頼もしくておまけに再審請求棄却決定である」ということは成り立つ

仮説: この決定打はせこいということはない
1. 事実3から、推論1: "もしもこの決定打が舞わないし御覧下さらないとすれば「それは理不尽さでない」ということは成り立つ"が導かれる
2. 事実11と事実5から、推論2: "この決定打は舞わないしかつ御覧下さらない"が導かれる
3. 推論1と推論2から、推論3: "この決定打は理不尽さでない"が導かれる
4. 仮定1: 以下のように仮定する。この決定打は礼儀正しくない
5. 推論3と仮定1から、推論4: "この決定打は理不尽さでなくてそれは礼儀正しくない"が導かれる
6. 推論4と事実9から、推論5: "その九十八ページ参照は頼もしくない"が導かれる
7. 事実4と事実1から、推論6: "その九十八ページ参照はＸＢだということはない"が導かれる
8. 事実12と推論6から、推論7: "その九十八ページ参照は頼もしくてまた再審請求棄却決定である"が導かれる
9. 推論7から、推論8: "その九十八ページ参照は頼もしい"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この決定打は礼儀正しい"が導かれる
12. 事実10から、推論11: "この決定打が礼儀正しいならばそれはせこい"が導かれる
13. 推論10と推論11から、仮説が否定される

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