その二十三年前は御優しくない
fact1: あのデビルが仲直り出来ないとするとその金剛杵はもがくしそれは冬らしい fact2: 「冬らしくない」ものはある fact3: なにがしかの物が勃興期だとするとそれは夫婦らしくないし押し退けない fact4: もしあのデビルがもがくならその二十三年前は仲直り出来る fact5: もしその二十三年前がマグニチュードでなくてかつ御優しいということはないならばあのデビルは仲直り出来ない fact6: もしなにがしかの物が仲直り出来るとするとそれは御優しい fact7: もし冬らしくないものがあるとするとあのデビルはもがく fact8: もし仮になにがしかの物がマグニチュードだとしたらそれは仲直り出来ない fact9: あのデビルは御優しい
fact2 & fact7 -> int1: あのデビルはもがく; int1 & fact4 -> int2: その二十三年前は仲直り出来る; fact6 -> int3: 仮にその二十三年前は仲直り出来れば「それは御優しい」ということは本当だ; int2 & int3 -> hypothesis;
その金剛杵はもがく
fact10 -> int4: 仮にこの警察署が勃興期ならそれは夫婦らしくないしそれは押し退けない;
$facts$ = fact1: あのデビルが仲直り出来ないとするとその金剛杵はもがくしそれは冬らしい fact2: 「冬らしくない」ものはある fact3: なにがしかの物が勃興期だとするとそれは夫婦らしくないし押し退けない fact4: もしあのデビルがもがくならその二十三年前は仲直り出来る fact5: もしその二十三年前がマグニチュードでなくてかつ御優しいということはないならばあのデビルは仲直り出来ない fact6: もしなにがしかの物が仲直り出来るとするとそれは御優しい fact7: もし冬らしくないものがあるとするとあのデビルはもがく fact8: もし仮になにがしかの物がマグニチュードだとしたらそれは仲直り出来ない fact9: あのデビルは御優しい ; $hypothesis$ = その二十三年前は御優しくない ; $proof$ = 
fact2 & fact7 -> int1: あのデビルはもがく; int1 & fact4 -> int2: その二十三年前は仲直り出来る; fact6 -> int3: 仮にその二十三年前は仲直り出来れば「それは御優しい」ということは本当だ; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あのデビルが仲直り出来ないとするとその金剛杵はもがくしそれは冬らしい
事実2: 「冬らしくない」ものはある
事実3: なにがしかの物が勃興期だとするとそれは夫婦らしくないし押し退けない
事実4: もしあのデビルがもがくならその二十三年前は仲直り出来る
事実5: もしその二十三年前がマグニチュードでなくてかつ御優しいということはないならばあのデビルは仲直り出来ない
事実6: もしなにがしかの物が仲直り出来るとするとそれは御優しい
事実7: もし冬らしくないものがあるとするとあのデビルはもがく
事実8: もし仮になにがしかの物がマグニチュードだとしたらそれは仲直り出来ない
事実9: あのデビルは御優しい

仮説: その二十三年前は御優しくない
1. 事実2と事実7から、推論1: "あのデビルはもがく"が導かれる
2. 推論1と事実4から、推論2: "その二十三年前は仲直り出来る"が導かれる
3. 事実6から、推論3: "仮にその二十三年前は仲直り出来れば「それは御優しい」ということは本当だ"が導かれる
4. 推論2と推論3から、仮説が否定される

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