そのＭＳ‐ＤＯＳ画面は明るい
fact1: もしもあの肩部は紳士らしくないとすると「太くないがブートする」ということは間違っている fact2: もし太いということはないものが紳士らしいとするとそれはウェッブだ fact3: もしなにかは修復すらないとしたらあの肩部は伐採する一方でブートしない fact4: あの肩部は余儀無いけれどそれは光電子スペクトルだということはない fact5: 仮に「あの肩部は太いということはないがブートする」ということは間違いだとすればそれはブートしない fact6: そのＭＳ‐ＤＯＳ画面が伐採しないならあの肩部は近しないが明るい fact7: 太いしさらに紳士らしいものはウェッブである fact8: 「濡れない」物はある fact9: 「伐採しない」ものがあるならあの肩部は明るくない fact10: もしあの肩部が近しないならその慈しみは太くない fact11: 太くないものが近しとするとそれは明るい fact12: その慈しみは太くない fact13: もし仮にその慈しみは太くて紳士らしいとしたらウェッブだ fact14: 仮になにがしかの物はブートしないとすれば「近しないし伐採しない」ということは嘘である fact15: もし仮に「「そのＭＳ‐ＤＯＳ画面は紳士らしいし近し」ということは成り立つ」ということは事実であるということはないならばブートしない fact16: 何らかのものは修復すらない fact17: あの肩部はブートしない fact18: 仮にあの肩部が近しないならばその慈しみは太くないがしかし紳士らしい fact19: もし「「ウェッブでない」ということは事実である」ものがあるとすればあの肩部は紳士らしいけどブートしない fact20: もし仮に何らかのものが伐採するしさらにそれがブートすればそれは近しということはない fact21: もしその慈しみがウェッブならそのＭＳ‐ＤＯＳ画面は明るい fact22: 何らかの物は修復す fact23: 仮にあの肩部は伐採するしそれにブートするとすればそれは近しない fact24: もし仮にとある物は伐採するけどブートしないとしたらそれは近しない
fact16 & fact3 -> int1: あの肩部は伐採するけれどブートしない; fact24 -> int2: もしもあの肩部は伐採するがしかしブートしないとすると近しない; int1 & int2 -> int3: あの肩部は近しということはない; int3 & fact18 -> int4: その慈しみは太くないがしかし紳士らしい; fact2 -> int5: 仮にその慈しみは太くないけれど紳士らしいとすれば「ウェッブでない」ということは成り立たない; int4 & int5 -> int6: その慈しみはウェッブだ; int6 & fact21 -> hypothesis;
「そのＭＳ‐ＤＯＳ画面は明るくない」ということは真実である
fact26 -> int7: 仮にあの肩部はブートしないとすれば「近しないしかつ伐採しない」ということは成り立たない;
$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$ = 
fact16 & fact3 -> int1: あの肩部は伐採するけれどブートしない; fact24 -> int2: もしもあの肩部は伐採するがしかしブートしないとすると近しない; int1 & int2 -> int3: あの肩部は近しということはない; int3 & fact18 -> int4: その慈しみは太くないがしかし紳士らしい; fact2 -> int5: 仮にその慈しみは太くないけれど紳士らしいとすれば「ウェッブでない」ということは成り立たない; int4 & int5 -> int6: その慈しみはウェッブだ; int6 & fact21 -> 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. 事実16と事実3から、推論1: "あの肩部は伐採するけれどブートしない"が導かれる
2. 事実24から、推論2: "もしもあの肩部は伐採するがしかしブートしないとすると近しない"が導かれる
3. 推論1と推論2から、推論3: "あの肩部は近しということはない"が導かれる
4. 推論3と事実18から、推論4: "その慈しみは太くないがしかし紳士らしい"が導かれる
5. 事実2から、推論5: "仮にその慈しみは太くないけれど紳士らしいとすれば「ウェッブでない」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "その慈しみはウェッブだ"が導かれる
7. 推論6と事実21から、仮説が導かれる

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