この内務行政は報告者でそれは母語話者だ
fact1: もし「この内務行政は一風堂でなくてその上上級民でない」ということは誤りならあの同一性保持は上級民でない fact2: もし仮にその小宰が私らしいならばあの内務行政は反撃出来る一方で私らしくない fact3: この内務行政は私らしくない fact4: 仮にある物が反撃出来るがそれが私らしくないとすると一風堂だ fact5: 仮にあの同一性保持が嫌らしくないとしたらその小宰は上級民である fact6: 嫌らしくない物はＡドライブだが少なしということはない fact7: あの同一性保持は嫌らしくないかまたはそれは在監者でない fact8: もしもあの同一性保持が上級民でないとすればあの守竜は嫌らしくないけど在監者だ fact9: 仮になんらかの物は私らしいとしたら「それは一風堂でなくて上級民でない」ということは誤りである fact10: もしこの内務行政は一風堂であるとすると母語話者だ fact11: もし仮にあの同一性保持が在監者でないとしたらその小宰は上級民だ fact12: この内務行政は報告者だ fact13: もし仮にその小宰が上級民だとすると私らしい
fact7 & fact5 & fact11 -> int1: 「その小宰は上級民である」ということは確かである; int1 & fact13 -> int2: その小宰は私らしい; int2 & fact2 -> int3: この内務行政は反撃出来るがしかしそれは私らしくない; fact4 -> int4: この内務行政が反撃出来るけれどそれが私らしくないとしたら一風堂だ; int3 & int4 -> int5: 「この内務行政は一風堂だ」ということは成り立つ; int5 & fact10 -> int6: この内務行政は母語話者だ; int6 & fact12 -> hypothesis;
その守竜はＡドライブであるけど少なしない
fact15 -> int7: その守竜が嫌らしいということはないとするとそれはＡドライブだ一方で少なしということはない; fact14 -> int8: もし仮にこの内務行政は私らしいとすると「それは一風堂でないし更に上級民でない」ということは成り立たない;
$facts$ = fact1: もし「この内務行政は一風堂でなくてその上上級民でない」ということは誤りならあの同一性保持は上級民でない fact2: もし仮にその小宰が私らしいならばあの内務行政は反撃出来る一方で私らしくない fact3: この内務行政は私らしくない fact4: 仮にある物が反撃出来るがそれが私らしくないとすると一風堂だ fact5: 仮にあの同一性保持が嫌らしくないとしたらその小宰は上級民である fact6: 嫌らしくない物はＡドライブだが少なしということはない fact7: あの同一性保持は嫌らしくないかまたはそれは在監者でない fact8: もしもあの同一性保持が上級民でないとすればあの守竜は嫌らしくないけど在監者だ fact9: 仮になんらかの物は私らしいとしたら「それは一風堂でなくて上級民でない」ということは誤りである fact10: もしこの内務行政は一風堂であるとすると母語話者だ fact11: もし仮にあの同一性保持が在監者でないとしたらその小宰は上級民だ fact12: この内務行政は報告者だ fact13: もし仮にその小宰が上級民だとすると私らしい ; $hypothesis$ = この内務行政は報告者でそれは母語話者だ ; $proof$ = 
fact7 & fact5 & fact11 -> int1: 「その小宰は上級民である」ということは確かである; int1 & fact13 -> int2: その小宰は私らしい; int2 & fact2 -> int3: この内務行政は反撃出来るがしかしそれは私らしくない; fact4 -> int4: この内務行政が反撃出来るけれどそれが私らしくないとしたら一風堂だ; int3 & int4 -> int5: 「この内務行政は一風堂だ」ということは成り立つ; int5 & fact10 -> int6: この内務行政は母語話者だ; int6 & fact12 -> hypothesis; __PROVED__
事実1: もし「この内務行政は一風堂でなくてその上上級民でない」ということは誤りならあの同一性保持は上級民でない
事実2: もし仮にその小宰が私らしいならばあの内務行政は反撃出来る一方で私らしくない
事実3: この内務行政は私らしくない
事実4: 仮にある物が反撃出来るがそれが私らしくないとすると一風堂だ
事実5: 仮にあの同一性保持が嫌らしくないとしたらその小宰は上級民である
事実6: 嫌らしくない物はＡドライブだが少なしということはない
事実7: あの同一性保持は嫌らしくないかまたはそれは在監者でない
事実8: もしもあの同一性保持が上級民でないとすればあの守竜は嫌らしくないけど在監者だ
事実9: 仮になんらかの物は私らしいとしたら「それは一風堂でなくて上級民でない」ということは誤りである
事実10: もしこの内務行政は一風堂であるとすると母語話者だ
事実11: もし仮にあの同一性保持が在監者でないとしたらその小宰は上級民だ
事実12: この内務行政は報告者だ
事実13: もし仮にその小宰が上級民だとすると私らしい

仮説: この内務行政は報告者でそれは母語話者だ
1. 事実7と事実5と事実11から、推論1: "「その小宰は上級民である」ということは確かである"が導かれる
2. 推論1と事実13から、推論2: "その小宰は私らしい"が導かれる
3. 推論2と事実2から、推論3: "この内務行政は反撃出来るがしかしそれは私らしくない"が導かれる
4. 事実4から、推論4: "この内務行政が反撃出来るけれどそれが私らしくないとしたら一風堂だ"が導かれる
5. 推論3と推論4から、推論5: "「この内務行政は一風堂だ」ということは成り立つ"が導かれる
6. 推論5と事実10から、推論6: "この内務行政は母語話者だ"が導かれる
7. 推論6と事実12から、仮説が導かれる

よって、仮説が証明されました。