このＤＤＥは後ろ暗くない一方で網膜上だ
fact1: もし仮になんらかの物が開発・普及だとすれば後ろ暗くないけれど網膜上だ fact2: 仮にそのデスクセットが苔むせばそれが怒り出すしその上それは拡大出来ない fact3: もし「何かは網膜上でないが拡大出来る」ということは間違いであるなら「グローバル変数でない」ということは嘘でない fact4: 開発・普及は好き好まない fact5: 「「落ち易くないかまたは道路工事でないか両方ともだ」ということは成り立たない」物はある fact6: 道路工事はある fact7: 仮にこのＤＤＥが好き好まないし開発・普及でないとすればあの後任はグローバル変数だ fact8: そのデスクセットは苔むす fact9: 「落ち易くないかあるいは道路工事でない」物はある fact10: もし「この後任はグローバル変数だ」ということは成り立つならそのデスクセットは拡大出来る fact11: 「「落ち易いか道路工事であるということはない」ということは成り立たない」ものはある fact12: 仮に「「落ち易くないかもしくは道路工事でないかもしくはどちらもだ」ということは間違っている」ものがあるとすればあのＤＤＥは好き好まない fact13: そのデスクセットは後ろ暗いということはない fact14: その建設工事紛争審査会は網膜上でないけど変わり始める fact15: もしそのデスクセットは後ろ暗くないなら「網膜上であるということはないがしかし拡大出来る」ということは成り立たない fact16: もし仮になにがしかのものは好き好むとしたら「後ろ暗くないしさらに網膜上だ」ということは成り立たない fact17: そのデスクセットは後ろ暗いということはないけれど怒り出す
fact5 & fact12 -> int1: このＤＤＥは好き好まない; void -> assump1: 以下のように仮定する。このＤＤＥは開発・普及でない; int1 & assump1 -> int2: 「このＤＤＥが好き好まないしさらにそれは開発・普及でない」ということは正しい; int2 & fact7 -> int3: この後任はグローバル変数だ; int3 & fact10 -> int4: そのデスクセットは拡大出来る; fact2 & fact8 -> int5: そのデスクセットは怒り出す一方で拡大出来ない; int5 -> int6: そのデスクセットは拡大出来るということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このＤＤＥは開発・普及である; fact1 -> int9: 仮にこのＤＤＥが開発・普及だとすると後ろ暗くないしそれは網膜上だ; int8 & int9 -> hypothesis;
このＤＤＥは即位しなくてファイナンスするということはない
fact18 -> int10: もしこの後任は開発・普及であるならばそれは好き好まない; fact21 -> int11: 仮に「そのデスクセットは網膜上でないけど拡大出来る」ということは事実と異なればグローバル変数でない; fact19 & fact20 -> int12: 「そのデスクセットは網膜上でない一方で拡大出来る」ということは事実と異なる; int11 & int12 -> int13: そのデスクセットはグローバル変数であるということはない; int13 -> int14: なにかはグローバル変数でない;
$facts$ = fact1: もし仮になんらかの物が開発・普及だとすれば後ろ暗くないけれど網膜上だ fact2: 仮にそのデスクセットが苔むせばそれが怒り出すしその上それは拡大出来ない fact3: もし「何かは網膜上でないが拡大出来る」ということは間違いであるなら「グローバル変数でない」ということは嘘でない fact4: 開発・普及は好き好まない fact5: 「「落ち易くないかまたは道路工事でないか両方ともだ」ということは成り立たない」物はある fact6: 道路工事はある fact7: 仮にこのＤＤＥが好き好まないし開発・普及でないとすればあの後任はグローバル変数だ fact8: そのデスクセットは苔むす fact9: 「落ち易くないかあるいは道路工事でない」物はある fact10: もし「この後任はグローバル変数だ」ということは成り立つならそのデスクセットは拡大出来る fact11: 「「落ち易いか道路工事であるということはない」ということは成り立たない」ものはある fact12: 仮に「「落ち易くないかもしくは道路工事でないかもしくはどちらもだ」ということは間違っている」ものがあるとすればあのＤＤＥは好き好まない fact13: そのデスクセットは後ろ暗いということはない fact14: その建設工事紛争審査会は網膜上でないけど変わり始める fact15: もしそのデスクセットは後ろ暗くないなら「網膜上であるということはないがしかし拡大出来る」ということは成り立たない fact16: もし仮になにがしかのものは好き好むとしたら「後ろ暗くないしさらに網膜上だ」ということは成り立たない fact17: そのデスクセットは後ろ暗いということはないけれど怒り出す ; $hypothesis$ = このＤＤＥは後ろ暗くない一方で網膜上だ ; $proof$ = 
fact5 & fact12 -> int1: このＤＤＥは好き好まない; void -> assump1: 以下のように仮定する。このＤＤＥは開発・普及でない; int1 & assump1 -> int2: 「このＤＤＥが好き好まないしさらにそれは開発・普及でない」ということは正しい; int2 & fact7 -> int3: この後任はグローバル変数だ; int3 & fact10 -> int4: そのデスクセットは拡大出来る; fact2 & fact8 -> int5: そのデスクセットは怒り出す一方で拡大出来ない; int5 -> int6: そのデスクセットは拡大出来るということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このＤＤＥは開発・普及である; fact1 -> int9: 仮にこのＤＤＥが開発・普及だとすると後ろ暗くないしそれは網膜上だ; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮になんらかの物が開発・普及だとすれば後ろ暗くないけれど網膜上だ
事実2: 仮にそのデスクセットが苔むせばそれが怒り出すしその上それは拡大出来ない
事実3: もし「何かは網膜上でないが拡大出来る」ということは間違いであるなら「グローバル変数でない」ということは嘘でない
事実4: 開発・普及は好き好まない
事実5: 「「落ち易くないかまたは道路工事でないか両方ともだ」ということは成り立たない」物はある
事実6: 道路工事はある
事実7: 仮にこのＤＤＥが好き好まないし開発・普及でないとすればあの後任はグローバル変数だ
事実8: そのデスクセットは苔むす
事実9: 「落ち易くないかあるいは道路工事でない」物はある
事実10: もし「この後任はグローバル変数だ」ということは成り立つならそのデスクセットは拡大出来る
事実11: 「「落ち易いか道路工事であるということはない」ということは成り立たない」ものはある
事実12: 仮に「「落ち易くないかもしくは道路工事でないかもしくはどちらもだ」ということは間違っている」ものがあるとすればあのＤＤＥは好き好まない
事実13: そのデスクセットは後ろ暗いということはない
事実14: その建設工事紛争審査会は網膜上でないけど変わり始める
事実15: もしそのデスクセットは後ろ暗くないなら「網膜上であるということはないがしかし拡大出来る」ということは成り立たない
事実16: もし仮になにがしかのものは好き好むとしたら「後ろ暗くないしさらに網膜上だ」ということは成り立たない
事実17: そのデスクセットは後ろ暗いということはないけれど怒り出す

仮説: このＤＤＥは後ろ暗くない一方で網膜上だ
1. 事実5と事実12から、推論1: "このＤＤＥは好き好まない"が導かれる
2. 仮定1: 以下のように仮定する。このＤＤＥは開発・普及でない
3. 推論1と仮定1から、推論2: "「このＤＤＥが好き好まないしさらにそれは開発・普及でない」ということは正しい"が導かれる
4. 推論2と事実7から、推論3: "この後任はグローバル変数だ"が導かれる
5. 推論3と事実10から、推論4: "そのデスクセットは拡大出来る"が導かれる
6. 事実2と事実8から、推論5: "そのデスクセットは怒り出す一方で拡大出来ない"が導かれる
7. 推論5から、推論6: "そのデスクセットは拡大出来るということはない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "このＤＤＥは開発・普及である"が導かれる
10. 事実1から、推論9: "仮にこのＤＤＥが開発・普及だとすると後ろ暗くないしそれは網膜上だ"が導かれる
11. 推論8と推論9から、仮説が導かれる

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