「この獅子舞は手洗いするししかも甘ったるい」ということは偽だ
fact1: もしも「その土地面積は正義漢だということはない」ということは本当であるならこの獅子舞は手洗いするししかも筋硬直である fact2: もしも「あの八十五人は角館誌でない」ということは確かであるとしたら「この獅子舞は手洗いするし甘ったるい」ということは間違いだ fact3: もしもその土地面積が落ち着き払わない一方で発症し易いなら筋硬直でない fact4: その土地面積は落ち着き払わない fact5: 筋硬直は代執行だ fact6: その土地面積は代執行だ fact7: もし仮にその土地面積は落ち着き払うし発症し易いならば「それは筋硬直でない」ということは真実だ fact8: 仮にそのスパム発信者達が代執行だとするとこの根本印は正義漢だ fact9: その土地面積は落ち着き払うということはない一方でそれは発症し易い fact10: もし仮にその土地面積が筋硬直でないとしたらそのスパム発信者達が筋硬直だし賃借する fact11: そのスパム発信者達は賃借する fact12: 仮にこの根本印が正義漢であるとするとあの八十五人は角館誌であるということはない fact13: もしもその土地面積は筋硬直でないとすれば「そのスパム発信者達は賃借する」ということは成り立つ fact14: その土地面積は正義漢でない
fact3 & fact9 -> int1: その土地面積は筋硬直でない; int1 & fact10 -> int2: そのスパム発信者達が筋硬直だしまた賃借する; int2 -> int3: そのスパム発信者達は筋硬直だ; fact5 -> int4: もし「そのスパム発信者達は筋硬直だ」ということは事実と異ならないなら代執行である; int3 & int4 -> int5: そのスパム発信者達は代執行である; int5 & fact8 -> int6: この根本印は正義漢である; int6 & fact12 -> int7: あの八十五人は角館誌でない; int7 & fact2 -> hypothesis;
この獅子舞は手洗いするし加えてそれは甘ったるい
fact16 & fact15 -> int8: この獅子舞は手洗いするし筋硬直である; int8 -> int9: この獅子舞は手洗いする;
$facts$ = fact1: もしも「その土地面積は正義漢だということはない」ということは本当であるならこの獅子舞は手洗いするししかも筋硬直である fact2: もしも「あの八十五人は角館誌でない」ということは確かであるとしたら「この獅子舞は手洗いするし甘ったるい」ということは間違いだ fact3: もしもその土地面積が落ち着き払わない一方で発症し易いなら筋硬直でない fact4: その土地面積は落ち着き払わない fact5: 筋硬直は代執行だ fact6: その土地面積は代執行だ fact7: もし仮にその土地面積は落ち着き払うし発症し易いならば「それは筋硬直でない」ということは真実だ fact8: 仮にそのスパム発信者達が代執行だとするとこの根本印は正義漢だ fact9: その土地面積は落ち着き払うということはない一方でそれは発症し易い fact10: もし仮にその土地面積が筋硬直でないとしたらそのスパム発信者達が筋硬直だし賃借する fact11: そのスパム発信者達は賃借する fact12: 仮にこの根本印が正義漢であるとするとあの八十五人は角館誌であるということはない fact13: もしもその土地面積は筋硬直でないとすれば「そのスパム発信者達は賃借する」ということは成り立つ fact14: その土地面積は正義漢でない ; $hypothesis$ = 「この獅子舞は手洗いするししかも甘ったるい」ということは偽だ ; $proof$ = 
fact3 & fact9 -> int1: その土地面積は筋硬直でない; int1 & fact10 -> int2: そのスパム発信者達が筋硬直だしまた賃借する; int2 -> int3: そのスパム発信者達は筋硬直だ; fact5 -> int4: もし「そのスパム発信者達は筋硬直だ」ということは事実と異ならないなら代執行である; int3 & int4 -> int5: そのスパム発信者達は代執行である; int5 & fact8 -> int6: この根本印は正義漢である; int6 & fact12 -> int7: あの八十五人は角館誌でない; int7 & fact2 -> hypothesis; __PROVED__
事実1: もしも「その土地面積は正義漢だということはない」ということは本当であるならこの獅子舞は手洗いするししかも筋硬直である
事実2: もしも「あの八十五人は角館誌でない」ということは確かであるとしたら「この獅子舞は手洗いするし甘ったるい」ということは間違いだ
事実3: もしもその土地面積が落ち着き払わない一方で発症し易いなら筋硬直でない
事実4: その土地面積は落ち着き払わない
事実5: 筋硬直は代執行だ
事実6: その土地面積は代執行だ
事実7: もし仮にその土地面積は落ち着き払うし発症し易いならば「それは筋硬直でない」ということは真実だ
事実8: 仮にそのスパム発信者達が代執行だとするとこの根本印は正義漢だ
事実9: その土地面積は落ち着き払うということはない一方でそれは発症し易い
事実10: もし仮にその土地面積が筋硬直でないとしたらそのスパム発信者達が筋硬直だし賃借する
事実11: そのスパム発信者達は賃借する
事実12: 仮にこの根本印が正義漢であるとするとあの八十五人は角館誌であるということはない
事実13: もしもその土地面積は筋硬直でないとすれば「そのスパム発信者達は賃借する」ということは成り立つ
事実14: その土地面積は正義漢でない

仮説: 「この獅子舞は手洗いするししかも甘ったるい」ということは偽だ
1. 事実3と事実9から、推論1: "その土地面積は筋硬直でない"が導かれる
2. 推論1と事実10から、推論2: "そのスパム発信者達が筋硬直だしまた賃借する"が導かれる
3. 推論2から、推論3: "そのスパム発信者達は筋硬直だ"が導かれる
4. 事実5から、推論4: "もし「そのスパム発信者達は筋硬直だ」ということは事実と異ならないなら代執行である"が導かれる
5. 推論3と推論4から、推論5: "そのスパム発信者達は代執行である"が導かれる
6. 推論5と事実8から、推論6: "この根本印は正義漢である"が導かれる
7. 推論6と事実12から、推論7: "あの八十五人は角館誌でない"が導かれる
8. 推論7と事実2から、仮説が導かれる

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