「その高層ビル群は思しくないけど招く」ということは誤りだ
fact1: もし仮に「なにがしかの物は高年齢層でない一方で思しい」ということは成り立たないならばそれは思しくない fact2: なにがしかのものは読み易いとすれば「それは高年齢層でないけど思しい」ということは成り立たない fact3: もしもその高層ビル群は招かないとすると「「このパンターＤ型は御止め為さるし更に首尾良い」ということは偽である」ということは成り立つ fact4: もし「「御止め為さるしまた首尾良い」ということは成り立たない」ものがあればその不透明仕上げは煩わせる fact5: あの墓誌は首尾良い fact6: もしも「このパンターＤ型は煩わせる」ということは成り立つなら「その高層ビル群は思しいということはないけれどそれは招く」ということは間違いだ fact7: その高層ビル群は読み易い fact8: もし仮に「このパンターＤ型は高年齢層でないかまたは読み易い」ということは事実と異なるとするとそれは非安定マルチバイブレータでない fact9: もし仮に「何らかのものは非安定マルチバイブレータであるということはない」ということは事実だとするとそれは煩わせるしおまけに間違え易い fact10: もし「「高年齢層でない」ということは事実な」ものがあればその高層ビル群は御止め為さる fact11: もしもその不透明仕上げが煩わせるかまたは間違え易いかあるいはどちらもであるならあの再生神経は非安定マルチバイブレータでない fact12: もし仮に「何かは飢えないけれど気恥ずかしい」ということは誤りだとするとそれは気恥ずかしくない fact13: もし仮にその不透明仕上げは読み易いとすると「非安定マルチバイブレータでないけれど間違え易い」ということは間違っている fact14: あの再生神経は京都人でまた非安定マルチバイブレータだ
void -> assump1: 以下のように仮定する。その高層ビル群は招くということはない; fact3 & assump1 -> int1: 「このパンターＤ型は御止め為さるしおまけに首尾良い」ということは成り立たない; int1 -> int2: 「「御止め為さるし加えて首尾良い」ということは確かでない」物はある; int2 & fact4 -> int3: その不透明仕上げは煩わせる; int3 -> int4: その不透明仕上げは煩わせるかもしくは間違え易い; int4 & fact11 -> int5: あの再生神経は非安定マルチバイブレータでない; fact14 -> int6: あの再生神経は非安定マルチバイブレータだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その高層ビル群は招く; fact2 -> int9: もし仮にその高層ビル群は読み易いとすれば「高年齢層でないし思しい」ということは成り立たない; fact7 & int9 -> int10: 「その高層ビル群は高年齢層でないがそれは思しい」ということは事実と異なる; fact1 -> int11: もしも「その高層ビル群は高年齢層でない一方でそれは思しい」ということは成り立つということはないとするとそれは思しくない; int10 & int11 -> int12: その高層ビル群は思しくない; int8 & int12 -> hypothesis;
「その高層ビル群は思しくないけどそれは招く」ということは嘘だ
fact15 -> int13: もし仮にこのパンターＤ型は非安定マルチバイブレータでないとするとそれは煩わせるしまた間違え易い;
$facts$ = fact1: もし仮に「なにがしかの物は高年齢層でない一方で思しい」ということは成り立たないならばそれは思しくない fact2: なにがしかのものは読み易いとすれば「それは高年齢層でないけど思しい」ということは成り立たない fact3: もしもその高層ビル群は招かないとすると「「このパンターＤ型は御止め為さるし更に首尾良い」ということは偽である」ということは成り立つ fact4: もし「「御止め為さるしまた首尾良い」ということは成り立たない」ものがあればその不透明仕上げは煩わせる fact5: あの墓誌は首尾良い fact6: もしも「このパンターＤ型は煩わせる」ということは成り立つなら「その高層ビル群は思しいということはないけれどそれは招く」ということは間違いだ fact7: その高層ビル群は読み易い fact8: もし仮に「このパンターＤ型は高年齢層でないかまたは読み易い」ということは事実と異なるとするとそれは非安定マルチバイブレータでない fact9: もし仮に「何らかのものは非安定マルチバイブレータであるということはない」ということは事実だとするとそれは煩わせるしおまけに間違え易い fact10: もし「「高年齢層でない」ということは事実な」ものがあればその高層ビル群は御止め為さる fact11: もしもその不透明仕上げが煩わせるかまたは間違え易いかあるいはどちらもであるならあの再生神経は非安定マルチバイブレータでない fact12: もし仮に「何かは飢えないけれど気恥ずかしい」ということは誤りだとするとそれは気恥ずかしくない fact13: もし仮にその不透明仕上げは読み易いとすると「非安定マルチバイブレータでないけれど間違え易い」ということは間違っている fact14: あの再生神経は京都人でまた非安定マルチバイブレータだ ; $hypothesis$ = 「その高層ビル群は思しくないけど招く」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その高層ビル群は招くということはない; fact3 & assump1 -> int1: 「このパンターＤ型は御止め為さるしおまけに首尾良い」ということは成り立たない; int1 -> int2: 「「御止め為さるし加えて首尾良い」ということは確かでない」物はある; int2 & fact4 -> int3: その不透明仕上げは煩わせる; int3 -> int4: その不透明仕上げは煩わせるかもしくは間違え易い; int4 & fact11 -> int5: あの再生神経は非安定マルチバイブレータでない; fact14 -> int6: あの再生神経は非安定マルチバイブレータだ; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その高層ビル群は招く; fact2 -> int9: もし仮にその高層ビル群は読み易いとすれば「高年齢層でないし思しい」ということは成り立たない; fact7 & int9 -> int10: 「その高層ビル群は高年齢層でないがそれは思しい」ということは事実と異なる; fact1 -> int11: もしも「その高層ビル群は高年齢層でない一方でそれは思しい」ということは成り立つということはないとするとそれは思しくない; int10 & int11 -> int12: その高層ビル群は思しくない; int8 & int12 -> hypothesis; __DISPROVED__
事実1: もし仮に「なにがしかの物は高年齢層でない一方で思しい」ということは成り立たないならばそれは思しくない
事実2: なにがしかのものは読み易いとすれば「それは高年齢層でないけど思しい」ということは成り立たない
事実3: もしもその高層ビル群は招かないとすると「「このパンターＤ型は御止め為さるし更に首尾良い」ということは偽である」ということは成り立つ
事実4: もし「「御止め為さるしまた首尾良い」ということは成り立たない」ものがあればその不透明仕上げは煩わせる
事実5: あの墓誌は首尾良い
事実6: もしも「このパンターＤ型は煩わせる」ということは成り立つなら「その高層ビル群は思しいということはないけれどそれは招く」ということは間違いだ
事実7: その高層ビル群は読み易い
事実8: もし仮に「このパンターＤ型は高年齢層でないかまたは読み易い」ということは事実と異なるとするとそれは非安定マルチバイブレータでない
事実9: もし仮に「何らかのものは非安定マルチバイブレータであるということはない」ということは事実だとするとそれは煩わせるしおまけに間違え易い
事実10: もし「「高年齢層でない」ということは事実な」ものがあればその高層ビル群は御止め為さる
事実11: もしもその不透明仕上げが煩わせるかまたは間違え易いかあるいはどちらもであるならあの再生神経は非安定マルチバイブレータでない
事実12: もし仮に「何かは飢えないけれど気恥ずかしい」ということは誤りだとするとそれは気恥ずかしくない
事実13: もし仮にその不透明仕上げは読み易いとすると「非安定マルチバイブレータでないけれど間違え易い」ということは間違っている
事実14: あの再生神経は京都人でまた非安定マルチバイブレータだ

仮説: 「その高層ビル群は思しくないけど招く」ということは誤りだ
1. 仮定1: 以下のように仮定する。その高層ビル群は招くということはない
2. 事実3と仮定1から、推論1: "「このパンターＤ型は御止め為さるしおまけに首尾良い」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「御止め為さるし加えて首尾良い」ということは確かでない」物はある"が導かれる
4. 推論2と事実4から、推論3: "その不透明仕上げは煩わせる"が導かれる
5. 推論3から、推論4: "その不透明仕上げは煩わせるかもしくは間違え易い"が導かれる
6. 推論4と事実11から、推論5: "あの再生神経は非安定マルチバイブレータでない"が導かれる
7. 事実14から、推論6: "あの再生神経は非安定マルチバイブレータだ"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その高層ビル群は招く"が導かれる
10. 事実2から、推論9: "もし仮にその高層ビル群は読み易いとすれば「高年齢層でないし思しい」ということは成り立たない"が導かれる
11. 事実7と推論9から、推論10: "「その高層ビル群は高年齢層でないがそれは思しい」ということは事実と異なる"が導かれる
12. 事実1から、推論11: "もしも「その高層ビル群は高年齢層でない一方でそれは思しい」ということは成り立つということはないとするとそれは思しくない"が導かれる
13. 推論10と推論11から、推論12: "その高層ビル群は思しくない"が導かれる
14. 推論8と推論12から、仮説が否定される

よって、仮説が否定されました。