そのラザク体制は中退でない
fact1: プロブレムは毒殺するけど非空間的抽象だということはない fact2: もし仮にあの御懸念は非空間的抽象でないとしたら「あの志染支店はプロブレムでない」ということは成り立つ fact3: もしもあの御懸念が育ち難くないけれどそれは審理制度であるとすれば非空間的抽象だということはない fact4: もしもあの御懸念は中退でないなら「あの志染支店は育ち難くないかそれはプロブレムだ」ということは誤っている fact5: もしも「あの志染支店はプロブレムでないがしかし審理制度である」ということは事実であるとすると非空間的抽象だということはない fact6: もしもあの貸し出しエリアはＡＩＤＳ患者でないとすれば「あのλワンは大変身するということはない一方で中退だ」ということは成り立たない fact7: あの両山は中退でないけど奨学である fact8: あの貸し出しエリアは更生保護でない fact9: あの貸し出しエリアが更生保護でないとすればＡＩＤＳ患者だということはない fact10: 「あの御懸念は大路でないかあるいは低公害車であるかあるいは両方ともである」ということは誤っている fact11: あの御懸念は中退でない fact12: あの御懸念はプロブレムでない fact13: 仮にあの御懸念は育ち難いということはないけれど非空間的抽象ならば「それは毒殺しない」ということは本当だ fact14: 仮に「「大変身するしそれに詰め込む」ということは嘘である」ものがあるならあの志染支店は詰め込むということはない fact15: なんらかの物はプロブレムでないなら「それは毒殺しないしかつ非空間的抽象でない」ということは誤りだ fact16: もし仮に「あの志染支店は毒殺しないかもしくはプロブレムであるか両方ともである」ということは成り立つということはないとすると「そのラザク体制は中退であるということはない」ということは真実である fact17: 「「大変身するし更に詰め込む」ということは成り立つということはない」ものはある fact18: 「「そのラザク体制は非空間的抽象でないかもしくは勤務条件であるかもしくは両方である」ということは成り立つ」ということは成り立たない fact19: もしも「あの御懸念は非空間的抽象でない」ということは成り立つなら「あの志染支店は毒殺しないかまたはプロブレムであるか両方である」ということは成り立つということはない fact20: あの御懸念は育ち難くないけれど審理制度である fact21: あの志染支店はプロブレムでない fact22: あの御懸念は審理制度である fact23: あの志染支店が詰め込まないか中退でないか両方ともならあの御懸念はプロブレムであるということはない
fact3 & fact20 -> int1: あの御懸念は非空間的抽象であるということはない; int1 & fact19 -> int2: 「あの志染支店は毒殺しないかあるいはそれはプロブレムであるかまたはどちらもである」ということは誤りだ; int2 & fact16 -> hypothesis;
「そのラザク体制は審理制度でない」ということは本当だ
fact26 -> int3: もし仮にあの御懸念はプロブレムでないならば「それは毒殺しなくてそれは非空間的抽象でない」ということは誤りだ; fact28 & fact24 -> int4: あの貸し出しエリアはＡＩＤＳ患者でない; fact27 & int4 -> int5: 「あのλワンは大変身しないがしかし中退だ」ということは誤りである; int5 -> int6: 「「大変身しなくてしかも中退だ」ということは成り立つということはない」ものはある;
$facts$ = fact1: プロブレムは毒殺するけど非空間的抽象だということはない fact2: もし仮にあの御懸念は非空間的抽象でないとしたら「あの志染支店はプロブレムでない」ということは成り立つ fact3: もしもあの御懸念が育ち難くないけれどそれは審理制度であるとすれば非空間的抽象だということはない fact4: もしもあの御懸念は中退でないなら「あの志染支店は育ち難くないかそれはプロブレムだ」ということは誤っている fact5: もしも「あの志染支店はプロブレムでないがしかし審理制度である」ということは事実であるとすると非空間的抽象だということはない fact6: もしもあの貸し出しエリアはＡＩＤＳ患者でないとすれば「あのλワンは大変身するということはない一方で中退だ」ということは成り立たない fact7: あの両山は中退でないけど奨学である fact8: あの貸し出しエリアは更生保護でない fact9: あの貸し出しエリアが更生保護でないとすればＡＩＤＳ患者だということはない fact10: 「あの御懸念は大路でないかあるいは低公害車であるかあるいは両方ともである」ということは誤っている fact11: あの御懸念は中退でない fact12: あの御懸念はプロブレムでない fact13: 仮にあの御懸念は育ち難いということはないけれど非空間的抽象ならば「それは毒殺しない」ということは本当だ fact14: 仮に「「大変身するしそれに詰め込む」ということは嘘である」ものがあるならあの志染支店は詰め込むということはない fact15: なんらかの物はプロブレムでないなら「それは毒殺しないしかつ非空間的抽象でない」ということは誤りだ fact16: もし仮に「あの志染支店は毒殺しないかもしくはプロブレムであるか両方ともである」ということは成り立つということはないとすると「そのラザク体制は中退であるということはない」ということは真実である fact17: 「「大変身するし更に詰め込む」ということは成り立つということはない」ものはある fact18: 「「そのラザク体制は非空間的抽象でないかもしくは勤務条件であるかもしくは両方である」ということは成り立つ」ということは成り立たない fact19: もしも「あの御懸念は非空間的抽象でない」ということは成り立つなら「あの志染支店は毒殺しないかまたはプロブレムであるか両方である」ということは成り立つということはない fact20: あの御懸念は育ち難くないけれど審理制度である fact21: あの志染支店はプロブレムでない fact22: あの御懸念は審理制度である fact23: あの志染支店が詰め込まないか中退でないか両方ともならあの御懸念はプロブレムであるということはない ; $hypothesis$ = そのラザク体制は中退でない ; $proof$ = 
fact3 & fact20 -> int1: あの御懸念は非空間的抽象であるということはない; int1 & fact19 -> int2: 「あの志染支店は毒殺しないかあるいはそれはプロブレムであるかまたはどちらもである」ということは誤りだ; int2 & fact16 -> hypothesis; __PROVED__
事実1: プロブレムは毒殺するけど非空間的抽象だということはない
事実2: もし仮にあの御懸念は非空間的抽象でないとしたら「あの志染支店はプロブレムでない」ということは成り立つ
事実3: もしもあの御懸念が育ち難くないけれどそれは審理制度であるとすれば非空間的抽象だということはない
事実4: もしもあの御懸念は中退でないなら「あの志染支店は育ち難くないかそれはプロブレムだ」ということは誤っている
事実5: もしも「あの志染支店はプロブレムでないがしかし審理制度である」ということは事実であるとすると非空間的抽象だということはない
事実6: もしもあの貸し出しエリアはＡＩＤＳ患者でないとすれば「あのλワンは大変身するということはない一方で中退だ」ということは成り立たない
事実7: あの両山は中退でないけど奨学である
事実8: あの貸し出しエリアは更生保護でない
事実9: あの貸し出しエリアが更生保護でないとすればＡＩＤＳ患者だということはない
事実10: 「あの御懸念は大路でないかあるいは低公害車であるかあるいは両方ともである」ということは誤っている
事実11: あの御懸念は中退でない
事実12: あの御懸念はプロブレムでない
事実13: 仮にあの御懸念は育ち難いということはないけれど非空間的抽象ならば「それは毒殺しない」ということは本当だ
事実14: 仮に「「大変身するしそれに詰め込む」ということは嘘である」ものがあるならあの志染支店は詰め込むということはない
事実15: なんらかの物はプロブレムでないなら「それは毒殺しないしかつ非空間的抽象でない」ということは誤りだ
事実16: もし仮に「あの志染支店は毒殺しないかもしくはプロブレムであるか両方ともである」ということは成り立つということはないとすると「そのラザク体制は中退であるということはない」ということは真実である
事実17: 「「大変身するし更に詰め込む」ということは成り立つということはない」ものはある
事実18: 「「そのラザク体制は非空間的抽象でないかもしくは勤務条件であるかもしくは両方である」ということは成り立つ」ということは成り立たない
事実19: もしも「あの御懸念は非空間的抽象でない」ということは成り立つなら「あの志染支店は毒殺しないかまたはプロブレムであるか両方である」ということは成り立つということはない
事実20: あの御懸念は育ち難くないけれど審理制度である
事実21: あの志染支店はプロブレムでない
事実22: あの御懸念は審理制度である
事実23: あの志染支店が詰め込まないか中退でないか両方ともならあの御懸念はプロブレムであるということはない

仮説: そのラザク体制は中退でない
1. 事実3と事実20から、推論1: "あの御懸念は非空間的抽象であるということはない"が導かれる
2. 推論1と事実19から、推論2: "「あの志染支店は毒殺しないかあるいはそれはプロブレムであるかまたはどちらもである」ということは誤りだ"が導かれる
3. 推論2と事実16から、仮説が導かれる

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