この特定都市鉄道工事は黒鮑だということはない
fact1: もし「このバラックは男らしいがしかし十等分しない」ということは成り立つということはないとしたらあの糸うねりは男らしい fact2: もし「この特定都市鉄道工事は男らしい」ということは本当だとしたらそれは黒鮑だ fact3: その点火孔は十等分しない fact4: もしこのバラックが男らしくないならあの十三夜は男らしい fact5: 「あの糸うねりは十等分するということはないし更にそれは言い捨てない」ということは誤っている fact6: あの十三夜は男らしい fact7: 「「このバラックは上向だが男らしくない」ということは事実と異なる」ということは確かである fact8: 「あの糸うねりは自分名義である」ということは成り立つとしたら言い捨てる fact9: この特定都市鉄道工事は上向だ fact10: あの無情は自分名義でない fact11: もし仮に「このバラックは上向だということはないし言い捨てるということはない」ということは偽であるとするとあの無情は言い捨てない fact12: もし仮に「あの糸うねりは男らしいということはなくて自分名義でない」ということは事実と異なるとすればこのバラックは自分名義でない fact13: 「男らしい物は上向だ」ということは確かだ fact14: 「この特定都市鉄道工事は十等分しなくて黒鮑でない」ということは成り立たない fact15: もしもこのバラックが男らしくないとしたらあの十三夜は十等分しない一方で男らしい fact16: もしこのバラックは自分名義であるとしたら「それは男らしいしさらに十等分しない」ということは成り立たない fact17: もし「あの無情は幼君でなくてしかも言い捨てない」ということは間違いであるとしたらあの糸うねりは言い捨てない fact18: もし仮にあの十三夜が十等分しないがしかし男らしいならあの糸うねりは自分名義である fact19: もし仮にこの特定都市鉄道工事が自分名義だということはないとすればそれは男らしいししかも十等分する fact20: 「この特定都市鉄道工事は十等分する」ということは本当だ fact21: 「あの無情は幼君でなくて言い捨てない」ということは成り立つということはない fact22: もしも「このバラックは上向でないしそれにそれは男らしくない」ということは間違いだとすれば「この特定都市鉄道工事は黒鮑でない」ということは成り立つ fact23: あの糸うねりは黒鮑でない fact24: 「このバラックは上向でないがしかし男らしい」ということは嘘である
void -> assump1: 以下のように仮定する。このバラックは上向でなくて加えて男らしくない; assump1 -> int1: このバラックは男らしくない; int1 & fact15 -> int2: あの十三夜は十等分しないけど男らしい; int2 & fact18 -> int3: あの糸うねりは自分名義だ; int3 & fact8 -> int4: あの糸うねりは言い捨てる; fact17 & fact21 -> int5: あの糸うねりは言い捨てない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「このバラックは上向でなくてしかも男らしいということはない」ということは事実である」ということは嘘だ; int7 & fact22 -> hypothesis;
この特定都市鉄道工事は黒鮑である
fact26 -> int8: もしも「この特定都市鉄道工事は男らしい」ということは真実であるとしたらそれは上向である;
$facts$ = fact1: もし「このバラックは男らしいがしかし十等分しない」ということは成り立つということはないとしたらあの糸うねりは男らしい fact2: もし「この特定都市鉄道工事は男らしい」ということは本当だとしたらそれは黒鮑だ fact3: その点火孔は十等分しない fact4: もしこのバラックが男らしくないならあの十三夜は男らしい fact5: 「あの糸うねりは十等分するということはないし更にそれは言い捨てない」ということは誤っている fact6: あの十三夜は男らしい fact7: 「「このバラックは上向だが男らしくない」ということは事実と異なる」ということは確かである fact8: 「あの糸うねりは自分名義である」ということは成り立つとしたら言い捨てる fact9: この特定都市鉄道工事は上向だ fact10: あの無情は自分名義でない fact11: もし仮に「このバラックは上向だということはないし言い捨てるということはない」ということは偽であるとするとあの無情は言い捨てない fact12: もし仮に「あの糸うねりは男らしいということはなくて自分名義でない」ということは事実と異なるとすればこのバラックは自分名義でない fact13: 「男らしい物は上向だ」ということは確かだ fact14: 「この特定都市鉄道工事は十等分しなくて黒鮑でない」ということは成り立たない fact15: もしもこのバラックが男らしくないとしたらあの十三夜は十等分しない一方で男らしい fact16: もしこのバラックは自分名義であるとしたら「それは男らしいしさらに十等分しない」ということは成り立たない fact17: もし「あの無情は幼君でなくてしかも言い捨てない」ということは間違いであるとしたらあの糸うねりは言い捨てない fact18: もし仮にあの十三夜が十等分しないがしかし男らしいならあの糸うねりは自分名義である fact19: もし仮にこの特定都市鉄道工事が自分名義だということはないとすればそれは男らしいししかも十等分する fact20: 「この特定都市鉄道工事は十等分する」ということは本当だ fact21: 「あの無情は幼君でなくて言い捨てない」ということは成り立つということはない fact22: もしも「このバラックは上向でないしそれにそれは男らしくない」ということは間違いだとすれば「この特定都市鉄道工事は黒鮑でない」ということは成り立つ fact23: あの糸うねりは黒鮑でない fact24: 「このバラックは上向でないがしかし男らしい」ということは嘘である ; $hypothesis$ = この特定都市鉄道工事は黒鮑だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このバラックは上向でなくて加えて男らしくない; assump1 -> int1: このバラックは男らしくない; int1 & fact15 -> int2: あの十三夜は十等分しないけど男らしい; int2 & fact18 -> int3: あの糸うねりは自分名義だ; int3 & fact8 -> int4: あの糸うねりは言い捨てる; fact17 & fact21 -> int5: あの糸うねりは言い捨てない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「「このバラックは上向でなくてしかも男らしいということはない」ということは事実である」ということは嘘だ; int7 & fact22 -> 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: あの糸うねりは黒鮑でない
事実24: 「このバラックは上向でないがしかし男らしい」ということは嘘である

仮説: この特定都市鉄道工事は黒鮑だということはない
1. 仮定1: 以下のように仮定する。このバラックは上向でなくて加えて男らしくない
2. 仮定1から、推論1: "このバラックは男らしくない"が導かれる
3. 推論1と事実15から、推論2: "あの十三夜は十等分しないけど男らしい"が導かれる
4. 推論2と事実18から、推論3: "あの糸うねりは自分名義だ"が導かれる
5. 推論3と事実8から、推論4: "あの糸うねりは言い捨てる"が導かれる
6. 事実17と事実21から、推論5: "あの糸うねりは言い捨てない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「「このバラックは上向でなくてしかも男らしいということはない」ということは事実である」ということは嘘だ"が導かれる
9. 推論7と事実22から、仮説が導かれる

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