もしもこの中央部重点測光は加速しないならば「あの神社参拝は提供者氏名でないし詩でない」ということは本当でない
fact1: この中央部重点測光は堅苦しい fact2: もしこの中央部重点測光が加速しないとすればあの神社参拝は提供者氏名だということはないしまた詩でない fact3: この中央部重点測光が詩だとすればあの神社参拝は提供者氏名でないしその上それは詩でない fact4: 「あの神社参拝は提供者氏名だ一方でそれは詩でない」ということは嘘である fact5: その積み立ては詩でない fact6: 「この入所者は詩でない」ということは成り立つ fact7: 仮にこの中央部重点測光が加速しないとしたら詩だし堅苦しい fact8: もし仮にこの中央部重点測光は詩であるなら「あの神社参拝は提供者氏名でないしおまけにそれは詩であるということはない」ということは事実と異なる fact9: 「あの神社参拝は提供者氏名でない一方で詩だ」ということは嘘だ fact10: もしもこの中央部重点測光は加速しないならば「あの神社参拝は提供者氏名だけれど詩であるということはない」ということは誤っている fact11: もしもこの中央部重点測光は詩だとしたら「あの神社参拝は提供者氏名であるが詩でない」ということは間違いだ fact12: もし仮にこの中央部重点測光は加速するということはないとしたら「それは堅苦しくない」ということは間違いである fact13: あの神社参拝は酷いしそれに堅苦しい fact14: 仮にこの中央部重点測光は加速するなら「あの神社参拝は提供者氏名であるということはなくてそれにそれは詩であるということはない」ということは誤りだ fact15: この中央部重点測光は詩だとすると「あの神社参拝は提供者氏名でないがしかし詩である」ということは成り立たない fact16: もし仮に「この中央部重点測光は加速しない」ということは本当だとすれば「あの神社参拝は提供者氏名でないけど詩である」ということは確かでない
void -> assump1: 以下のように仮定する。この中央部重点測光は加速しない; fact7 & assump1 -> int1: この中央部重点測光は詩であるしかつそれは堅苦しい; int1 -> int2: この中央部重点測光は詩である; int2 & fact8 -> int3: 「あの神社参拝は提供者氏名でないし詩でない」ということは成り立つということはない; [assump1] & int3 -> hypothesis;
$facts$ = fact1: この中央部重点測光は堅苦しい fact2: もしこの中央部重点測光が加速しないとすればあの神社参拝は提供者氏名だということはないしまた詩でない fact3: この中央部重点測光が詩だとすればあの神社参拝は提供者氏名でないしその上それは詩でない fact4: 「あの神社参拝は提供者氏名だ一方でそれは詩でない」ということは嘘である fact5: その積み立ては詩でない fact6: 「この入所者は詩でない」ということは成り立つ fact7: 仮にこの中央部重点測光が加速しないとしたら詩だし堅苦しい fact8: もし仮にこの中央部重点測光は詩であるなら「あの神社参拝は提供者氏名でないしおまけにそれは詩であるということはない」ということは事実と異なる fact9: 「あの神社参拝は提供者氏名でない一方で詩だ」ということは嘘だ fact10: もしもこの中央部重点測光は加速しないならば「あの神社参拝は提供者氏名だけれど詩であるということはない」ということは誤っている fact11: もしもこの中央部重点測光は詩だとしたら「あの神社参拝は提供者氏名であるが詩でない」ということは間違いだ fact12: もし仮にこの中央部重点測光は加速するということはないとしたら「それは堅苦しくない」ということは間違いである fact13: あの神社参拝は酷いしそれに堅苦しい fact14: 仮にこの中央部重点測光は加速するなら「あの神社参拝は提供者氏名であるということはなくてそれにそれは詩であるということはない」ということは誤りだ fact15: この中央部重点測光は詩だとすると「あの神社参拝は提供者氏名でないがしかし詩である」ということは成り立たない fact16: もし仮に「この中央部重点測光は加速しない」ということは本当だとすれば「あの神社参拝は提供者氏名でないけど詩である」ということは確かでない ; $hypothesis$ = もしもこの中央部重点測光は加速しないならば「あの神社参拝は提供者氏名でないし詩でない」ということは本当でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この中央部重点測光は加速しない; fact7 & assump1 -> int1: この中央部重点測光は詩であるしかつそれは堅苦しい; int1 -> int2: この中央部重点測光は詩である; int2 & fact8 -> int3: 「あの神社参拝は提供者氏名でないし詩でない」ということは成り立つということはない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: この中央部重点測光は堅苦しい
事実2: もしこの中央部重点測光が加速しないとすればあの神社参拝は提供者氏名だということはないしまた詩でない
事実3: この中央部重点測光が詩だとすればあの神社参拝は提供者氏名でないしその上それは詩でない
事実4: 「あの神社参拝は提供者氏名だ一方でそれは詩でない」ということは嘘である
事実5: その積み立ては詩でない
事実6: 「この入所者は詩でない」ということは成り立つ
事実7: 仮にこの中央部重点測光が加速しないとしたら詩だし堅苦しい
事実8: もし仮にこの中央部重点測光は詩であるなら「あの神社参拝は提供者氏名でないしおまけにそれは詩であるということはない」ということは事実と異なる
事実9: 「あの神社参拝は提供者氏名でない一方で詩だ」ということは嘘だ
事実10: もしもこの中央部重点測光は加速しないならば「あの神社参拝は提供者氏名だけれど詩であるということはない」ということは誤っている
事実11: もしもこの中央部重点測光は詩だとしたら「あの神社参拝は提供者氏名であるが詩でない」ということは間違いだ
事実12: もし仮にこの中央部重点測光は加速するということはないとしたら「それは堅苦しくない」ということは間違いである
事実13: あの神社参拝は酷いしそれに堅苦しい
事実14: 仮にこの中央部重点測光は加速するなら「あの神社参拝は提供者氏名であるということはなくてそれにそれは詩であるということはない」ということは誤りだ
事実15: この中央部重点測光は詩だとすると「あの神社参拝は提供者氏名でないがしかし詩である」ということは成り立たない
事実16: もし仮に「この中央部重点測光は加速しない」ということは本当だとすれば「あの神社参拝は提供者氏名でないけど詩である」ということは確かでない

仮説: もしもこの中央部重点測光は加速しないならば「あの神社参拝は提供者氏名でないし詩でない」ということは本当でない
1. 仮定1: 以下のように仮定する。この中央部重点測光は加速しない
2. 事実7と仮定1から、推論1: "この中央部重点測光は詩であるしかつそれは堅苦しい"が導かれる
3. 推論1から、推論2: "この中央部重点測光は詩である"が導かれる
4. 推論2と事実8から、推論3: "「あの神社参拝は提供者氏名でないし詩でない」ということは成り立つということはない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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