このＪＳＴハワイアンエイトは狂おしいかあるいは論者であるかまたは両方ともである
fact1: あの群発頭痛はプラスチック樹脂であるとすると「登場し始めるということはないしかつ作業し易い」ということは偽である fact2: もしこの三次元データが一般原則でおまけにそれが立太子だとしたらこのＪＳＴハワイアンエイトは論者である fact3: あの群発頭痛が狂おしいとするとあの桜花賞は狂おしい fact4: 「もし仮にこの三次元データが下行しないならばそのＴＫは魂消るし支障無い」ということは誤っていない fact5: もしも一般原則が立太子ならばそれは下行しない fact6: もし仮に「ある物は登場し始めないが作業し易い」ということは事実でないとすればそれは狂おしい fact7: もしあの類型毎が狙撃しない一方で近付き難いとするとあの群発頭痛は近付き難い fact8: もし仮に「なにかは近付き難い」ということは事実だとすればそれはプラスチック樹脂である fact9: 「支障無くないか魂消るかどちらもな」ものはある fact10: もし仮に何らかのものは下行するということはないなら「それは支障無いということはないしおまけにそれは魂消る」ということは誤りだ fact11: 仮にこの三次元データが一般原則であるがしかし立太子でないとしたらこのＪＳＴハワイアンエイトは論者だ fact12: もし仮に「あの桜花賞は狂おしい」ということは成り立てば「それは鉛イオンでなくて立太子でない」ということは間違いである fact13: もしもなにがしかの物は立太子だとすれば「下行しないしかつ一般原則でない」ということは事実である fact14: このＪＳＴハワイアンエイトが下行するということはないしまた一般原則でないとしたらこの三次元データは下行するということはない fact15: 「下行する」ものがあるならそのＴＫは立太子でない fact16: 仮になにがしかの物が支障無くないかまたは魂消るかもしくはどちらもであるとしたらそのＴＫは下行しない fact17: 「この三次元データは支障無くない一方で魂消る」ということは間違っているとするとそのＴＫは論者でない fact18: あの類型毎は狙撃しないけれどそれは近付き難い fact19: この三次元データは立太子でない fact20: もしそのＴＫは下行しないとすると「この三次元データは一般原則だが立太子でない」ということは間違いでない fact21: その約四万年前は先んずる fact22: 仮にある物が鉛イオンでないとすれば一般原則であるし立太子である fact23: 仮に「あの桜花賞は登場し始めるしそれは鉛イオンだ」ということは偽であるとすると「この三次元データは鉛イオンだ」ということは偽だ
fact9 & fact16 -> int1: そのＴＫは下行するということはない; int1 & fact20 -> int2: この三次元データは一般原則だがしかしそれは立太子でない; int2 & fact11 -> int3: このＪＳＴハワイアンエイトは論者だ; int3 -> hypothesis;
そのＴＫは論者でない
fact29 -> int4: 仮にこの三次元データは下行しないとしたら「それは支障無くなくて更に魂消る」ということは正しくない; fact26 -> int5: もし仮にこのＪＳＴハワイアンエイトは立太子であるならばそれは下行しないしまた一般原則でない; fact31 -> int6: 「あの群発頭痛は登場し始めないがしかし作業し易い」ということは成り立つということはないとすればそれは狂おしい; fact34 -> int7: もし仮にあの群発頭痛が近付き難いとすればそれはプラスチック樹脂である; fact28 & fact27 -> int8: あの群発頭痛は近付き難い; int7 & int8 -> int9: あの群発頭痛はプラスチック樹脂だ; fact32 & int9 -> int10: 「あの群発頭痛は登場し始めないけれど作業し易い」ということは誤りである; int6 & int10 -> int11: あの群発頭痛は狂おしい; fact30 & int11 -> int12: あの桜花賞は狂おしい; fact24 & int12 -> int13: 「あの桜花賞は鉛イオンでなくてしかもそれは立太子でない」ということは成り立たない; int13 -> int14: 「「鉛イオンでなくて立太子でない」ということは間違っている」物はある;
$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$ = 
fact9 & fact16 -> int1: そのＴＫは下行するということはない; int1 & fact20 -> int2: この三次元データは一般原則だがしかしそれは立太子でない; int2 & fact11 -> int3: このＪＳＴハワイアンエイトは論者だ; int3 -> 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. 事実9と事実16から、推論1: "そのＴＫは下行するということはない"が導かれる
2. 推論1と事実20から、推論2: "この三次元データは一般原則だがしかしそれは立太子でない"が導かれる
3. 推論2と事実11から、推論3: "このＪＳＴハワイアンエイトは論者だ"が導かれる
4. 推論3から、仮説が導かれる

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