あのセルフアセスメントは上達しない
fact1: もしもあのセルフアセスメントが伝達機能だということはないとすれば単位数でないがしかし上達する fact2: あのセルフアセスメントは生まれ易い fact3: あのセルフアセスメントは事件判決である fact4: 仮に「あるものは上達するということはない」ということは成り立てば「それは事件判決である」ということは確かである fact5: 仮になんらかのものが上達するということはないとすれば打ち易いということはないがしかし事件判決だ fact6: もしもとある物は冗談っぽいとすれば「それは生まれ易いということはなくて上達しない」ということは嘘だ fact7: もし「その任意組合等は生まれ易くなくてかつそれは上達しない」ということは成り立たないならあのセルフアセスメントは上達するということはない fact8: もしも「その任意組合等は生まれ易くないしまたださくない」ということは間違いであるとしたら「その委託業者は生まれ易い」ということは成り立つ fact9: もし仮にあのセルフアセスメントが上達しないとすれば事件判決である fact10: 仮になにがしかのものは出会い易くないとすると「生まれ易くないしさらにださくない」ということは誤りだ fact11: 冗談っぽい物は打ち易い fact12: その任意組合等は出会い易くない fact13: あのセルフアセスメントは生まれ易いししかも冗談っぽい fact14: あの硬音は冗談っぽい
fact5 -> int1: あのセルフアセスメントが上達しないとすれば打ち易くないがしかし事件判決である; void -> assump1: 以下のように仮定する。あのセルフアセスメントは上達しない; int1 & assump1 -> int2: あのセルフアセスメントは打ち易くない一方で事件判決だ; int2 -> int3: あのセルフアセスメントは打ち易くない; fact13 -> int4: あのセルフアセスメントは冗談っぽい; fact11 -> int5: もしもあのセルフアセスメントは冗談っぽいとすれば「打ち易くない」ということは成り立たない; int4 & int5 -> int6: あのセルフアセスメントは打ち易い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あのセルフアセスメントは上達しない
fact16 -> int8: 仮にその任意組合等は冗談っぽいとすると「生まれ易くないしその上上達しない」ということは成り立たない;
$facts$ = fact1: もしもあのセルフアセスメントが伝達機能だということはないとすれば単位数でないがしかし上達する fact2: あのセルフアセスメントは生まれ易い fact3: あのセルフアセスメントは事件判決である fact4: 仮に「あるものは上達するということはない」ということは成り立てば「それは事件判決である」ということは確かである fact5: 仮になんらかのものが上達するということはないとすれば打ち易いということはないがしかし事件判決だ fact6: もしもとある物は冗談っぽいとすれば「それは生まれ易いということはなくて上達しない」ということは嘘だ fact7: もし「その任意組合等は生まれ易くなくてかつそれは上達しない」ということは成り立たないならあのセルフアセスメントは上達するということはない fact8: もしも「その任意組合等は生まれ易くないしまたださくない」ということは間違いであるとしたら「その委託業者は生まれ易い」ということは成り立つ fact9: もし仮にあのセルフアセスメントが上達しないとすれば事件判決である fact10: 仮になにがしかのものは出会い易くないとすると「生まれ易くないしさらにださくない」ということは誤りだ fact11: 冗談っぽい物は打ち易い fact12: その任意組合等は出会い易くない fact13: あのセルフアセスメントは生まれ易いししかも冗談っぽい fact14: あの硬音は冗談っぽい ; $hypothesis$ = あのセルフアセスメントは上達しない ; $proof$ = 
fact5 -> int1: あのセルフアセスメントが上達しないとすれば打ち易くないがしかし事件判決である; void -> assump1: 以下のように仮定する。あのセルフアセスメントは上達しない; int1 & assump1 -> int2: あのセルフアセスメントは打ち易くない一方で事件判決だ; int2 -> int3: あのセルフアセスメントは打ち易くない; fact13 -> int4: あのセルフアセスメントは冗談っぽい; fact11 -> int5: もしもあのセルフアセスメントは冗談っぽいとすれば「打ち易くない」ということは成り立たない; int4 & int5 -> int6: あのセルフアセスメントは打ち易い; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: もしもあのセルフアセスメントが伝達機能だということはないとすれば単位数でないがしかし上達する
事実2: あのセルフアセスメントは生まれ易い
事実3: あのセルフアセスメントは事件判決である
事実4: 仮に「あるものは上達するということはない」ということは成り立てば「それは事件判決である」ということは確かである
事実5: 仮になんらかのものが上達するということはないとすれば打ち易いということはないがしかし事件判決だ
事実6: もしもとある物は冗談っぽいとすれば「それは生まれ易いということはなくて上達しない」ということは嘘だ
事実7: もし「その任意組合等は生まれ易くなくてかつそれは上達しない」ということは成り立たないならあのセルフアセスメントは上達するということはない
事実8: もしも「その任意組合等は生まれ易くないしまたださくない」ということは間違いであるとしたら「その委託業者は生まれ易い」ということは成り立つ
事実9: もし仮にあのセルフアセスメントが上達しないとすれば事件判決である
事実10: 仮になにがしかのものは出会い易くないとすると「生まれ易くないしさらにださくない」ということは誤りだ
事実11: 冗談っぽい物は打ち易い
事実12: その任意組合等は出会い易くない
事実13: あのセルフアセスメントは生まれ易いししかも冗談っぽい
事実14: あの硬音は冗談っぽい

仮説: あのセルフアセスメントは上達しない
1. 事実5から、推論1: "あのセルフアセスメントが上達しないとすれば打ち易くないがしかし事件判決である"が導かれる
2. 仮定1: 以下のように仮定する。あのセルフアセスメントは上達しない
3. 推論1と仮定1から、推論2: "あのセルフアセスメントは打ち易くない一方で事件判決だ"が導かれる
4. 推論2から、推論3: "あのセルフアセスメントは打ち易くない"が導かれる
5. 事実13から、推論4: "あのセルフアセスメントは冗談っぽい"が導かれる
6. 事実11から、推論5: "もしもあのセルフアセスメントは冗談っぽいとすれば「打ち易くない」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "あのセルフアセスメントは打ち易い"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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