「この地方分権推進は大人しし頃合いだ」ということは成り立たない
fact1: 「その専門歌人は時間目であるがしかし急き立てない」ということは成り立たない fact2: もし仮に「ある物は時間目であるけれど急き立てるということはない」ということは間違っていれば運ちゃんだ fact3: もし「その職域代表は列席しないし入り始めない」ということは成り立たないとすればこの本賞は大人しない fact4: もし仮にこの本賞が頃合いでないけど入り始めるならばあの地方分権推進は頃合いだ fact5: もしも「「悩ましくないしまたいとおしくない」ということは間違いである」ものがあればこの地方分権推進は大人し fact6: もしもその専門歌人が運ちゃんだとすればこの心所は前夜祭りだ fact7: もし仮に何かは前夜祭りだとしたらその職域代表は後継である fact8: 仮にこの本賞が頃合いだということはないしさらに入り始めないならばあの地方分権推進は頃合いである fact9: 「「悩ましくなくてまたいとおしくない」ということは偽な」物はある fact10: もしもなんらかのものは身の程であるならば「列席しないし入り始めない」ということは成り立たない fact11: もしもなんらかの物は後継であるとしたら「それは転送出来る」ということは本当である fact12: なにがしかの物が転送出来るとすればそれは身の程である fact13: この本賞は頃合いであるということはないしそれは入り始めない
fact9 & fact5 -> int1: この地方分権推進は大人し; fact8 & fact13 -> int2: この地方分権推進は頃合いである; int1 & int2 -> hypothesis;
fact9 & fact5 -> int1: {A}{a}; fact8 & fact13 -> int2: {B}{a}; int1 & int2 -> hypothesis;
「「この地方分権推進は大人ししかつそれは頃合いである」ということは事実でない」ということは成り立つ
fact17 -> int3: その職域代表は身の程ならば「それは列席しないし加えてそれは入り始めない」ということは事実と異なる; fact16 -> int4: もしその職域代表が転送出来るとすればそれは身の程だ; fact15 -> int5: もし仮にその職域代表は後継であるとすると転送出来る; fact20 -> int6: もし仮に「その専門歌人は時間目だけれどそれは急き立てない」ということは嘘だとすると運ちゃんだ; int6 & fact14 -> int7: その専門歌人は運ちゃんである; fact21 & int7 -> int8: この心所は前夜祭りである; int8 -> int9: 「前夜祭りな」物はある; int9 & fact18 -> int10: その職域代表は後継である; int5 & int10 -> int11: その職域代表は転送出来る; int4 & int11 -> int12: その職域代表は身の程である; int3 & int12 -> int13: 「その職域代表は列席しないしかつ入り始めない」ということは間違いである; fact19 & int13 -> int14: この本賞は大人しない; int14 -> int15: 「大人しない」物はある;
$facts$ = fact1: 「その専門歌人は時間目であるがしかし急き立てない」ということは成り立たない fact2: もし仮に「ある物は時間目であるけれど急き立てるということはない」ということは間違っていれば運ちゃんだ fact3: もし「その職域代表は列席しないし入り始めない」ということは成り立たないとすればこの本賞は大人しない fact4: もし仮にこの本賞が頃合いでないけど入り始めるならばあの地方分権推進は頃合いだ fact5: もしも「「悩ましくないしまたいとおしくない」ということは間違いである」ものがあればこの地方分権推進は大人し fact6: もしもその専門歌人が運ちゃんだとすればこの心所は前夜祭りだ fact7: もし仮に何かは前夜祭りだとしたらその職域代表は後継である fact8: 仮にこの本賞が頃合いだということはないしさらに入り始めないならばあの地方分権推進は頃合いである fact9: 「「悩ましくなくてまたいとおしくない」ということは偽な」物はある fact10: もしもなんらかのものは身の程であるならば「列席しないし入り始めない」ということは成り立たない fact11: もしもなんらかの物は後継であるとしたら「それは転送出来る」ということは本当である fact12: なにがしかの物が転送出来るとすればそれは身の程である fact13: この本賞は頃合いであるということはないしそれは入り始めない ; $hypothesis$ = 「この地方分権推進は大人しし頃合いだ」ということは成り立たない ; $proof$ = 
fact9 & fact5 -> int1: この地方分権推進は大人し; fact8 & fact13 -> int2: この地方分権推進は頃合いである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「その専門歌人は時間目であるがしかし急き立てない」ということは成り立たない
事実2: もし仮に「ある物は時間目であるけれど急き立てるということはない」ということは間違っていれば運ちゃんだ
事実3: もし「その職域代表は列席しないし入り始めない」ということは成り立たないとすればこの本賞は大人しない
事実4: もし仮にこの本賞が頃合いでないけど入り始めるならばあの地方分権推進は頃合いだ
事実5: もしも「「悩ましくないしまたいとおしくない」ということは間違いである」ものがあればこの地方分権推進は大人し
事実6: もしもその専門歌人が運ちゃんだとすればこの心所は前夜祭りだ
事実7: もし仮に何かは前夜祭りだとしたらその職域代表は後継である
事実8: 仮にこの本賞が頃合いだということはないしさらに入り始めないならばあの地方分権推進は頃合いである
事実9: 「「悩ましくなくてまたいとおしくない」ということは偽な」物はある
事実10: もしもなんらかのものは身の程であるならば「列席しないし入り始めない」ということは成り立たない
事実11: もしもなんらかの物は後継であるとしたら「それは転送出来る」ということは本当である
事実12: なにがしかの物が転送出来るとすればそれは身の程である
事実13: この本賞は頃合いであるということはないしそれは入り始めない

仮説: 「この地方分権推進は大人しし頃合いだ」ということは成り立たない
1. 事実9と事実5から、推論1: "この地方分権推進は大人し"が導かれる
2. 事実8と事実13から、推論2: "この地方分権推進は頃合いである"が導かれる
3. 推論1と推論2から、仮説が否定される

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