その都市階層は二十四時間値だ
fact1: もしこのライフルが年金問題であるならその都市階層は二十四時間値である fact2: もし影響され易いということはない物が恨みがましいならそれは御帆立でない fact3: 仮にこの特技が流浪するとすればあのＯＰＡＴは影響され易くない一方で恨みがましい fact4: 「この特技は年金問題であるかそれは流浪する」ということは真実である fact5: もしもあのＯＰＡＴが御帆立でないならこのライフルは個人全集でない fact6: もしも「その都市階層は御帆立でないかまたは二十四時間値でない」ということは正しくないとすればあのライフルは御帆立である fact7: 仮にある物が性転換しないならそれは流浪するし年金問題だ fact8: もしなにがしかの物は御帆立でないならば恨みがましいし加えて個人全集である fact9: 「このライフルは御帆立だ」ということは確かならこの熱水は御帆立でない fact10: もし仮に何かは個人全集でないならば「それは年金問題だ」ということは成り立つ fact11: この特技は流浪する fact12: なんらかのものは年金問題であるならば「御帆立でないか二十四時間値でないかもしくは両方ともだ」ということは成り立つということはない
fact2 -> int1: もしあのＯＰＡＴは影響され易くない一方で恨みがましいとしたら御帆立でない; fact11 & fact3 -> int2: あのＯＰＡＴは影響され易くないがしかし恨みがましい; int1 & int2 -> int3: あのＯＰＡＴは御帆立でない; int3 & fact5 -> int4: このライフルは個人全集でない; fact10 -> int5: このライフルは個人全集でないならそれは年金問題である; int4 & int5 -> int6: このライフルは年金問題である; int6 & fact1 -> hypothesis;
その都市階層は二十四時間値でない
$facts$ = fact1: もしこのライフルが年金問題であるならその都市階層は二十四時間値である fact2: もし影響され易いということはない物が恨みがましいならそれは御帆立でない fact3: 仮にこの特技が流浪するとすればあのＯＰＡＴは影響され易くない一方で恨みがましい fact4: 「この特技は年金問題であるかそれは流浪する」ということは真実である fact5: もしもあのＯＰＡＴが御帆立でないならこのライフルは個人全集でない fact6: もしも「その都市階層は御帆立でないかまたは二十四時間値でない」ということは正しくないとすればあのライフルは御帆立である fact7: 仮にある物が性転換しないならそれは流浪するし年金問題だ fact8: もしなにがしかの物は御帆立でないならば恨みがましいし加えて個人全集である fact9: 「このライフルは御帆立だ」ということは確かならこの熱水は御帆立でない fact10: もし仮に何かは個人全集でないならば「それは年金問題だ」ということは成り立つ fact11: この特技は流浪する fact12: なんらかのものは年金問題であるならば「御帆立でないか二十四時間値でないかもしくは両方ともだ」ということは成り立つということはない ; $hypothesis$ = その都市階層は二十四時間値だ ; $proof$ = 
fact2 -> int1: もしあのＯＰＡＴは影響され易くない一方で恨みがましいとしたら御帆立でない; fact11 & fact3 -> int2: あのＯＰＡＴは影響され易くないがしかし恨みがましい; int1 & int2 -> int3: あのＯＰＡＴは御帆立でない; int3 & fact5 -> int4: このライフルは個人全集でない; fact10 -> int5: このライフルは個人全集でないならそれは年金問題である; int4 & int5 -> int6: このライフルは年金問題である; int6 & fact1 -> hypothesis; __PROVED__
事実1: もしこのライフルが年金問題であるならその都市階層は二十四時間値である
事実2: もし影響され易いということはない物が恨みがましいならそれは御帆立でない
事実3: 仮にこの特技が流浪するとすればあのＯＰＡＴは影響され易くない一方で恨みがましい
事実4: 「この特技は年金問題であるかそれは流浪する」ということは真実である
事実5: もしもあのＯＰＡＴが御帆立でないならこのライフルは個人全集でない
事実6: もしも「その都市階層は御帆立でないかまたは二十四時間値でない」ということは正しくないとすればあのライフルは御帆立である
事実7: 仮にある物が性転換しないならそれは流浪するし年金問題だ
事実8: もしなにがしかの物は御帆立でないならば恨みがましいし加えて個人全集である
事実9: 「このライフルは御帆立だ」ということは確かならこの熱水は御帆立でない
事実10: もし仮に何かは個人全集でないならば「それは年金問題だ」ということは成り立つ
事実11: この特技は流浪する
事実12: なんらかのものは年金問題であるならば「御帆立でないか二十四時間値でないかもしくは両方ともだ」ということは成り立つということはない

仮説: その都市階層は二十四時間値だ
1. 事実2から、推論1: "もしあのＯＰＡＴは影響され易くない一方で恨みがましいとしたら御帆立でない"が導かれる
2. 事実11と事実3から、推論2: "あのＯＰＡＴは影響され易くないがしかし恨みがましい"が導かれる
3. 推論1と推論2から、推論3: "あのＯＰＡＴは御帆立でない"が導かれる
4. 推論3と事実5から、推論4: "このライフルは個人全集でない"が導かれる
5. 事実10から、推論5: "このライフルは個人全集でないならそれは年金問題である"が導かれる
6. 推論4と推論5から、推論6: "このライフルは年金問題である"が導かれる
7. 推論6と事実1から、仮説が導かれる

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