その達識者は仄暗くないしかつ賢しくない
fact1: 「その達識者は賢しくないしそれにきつかない」ということは成り立つ fact2: 仮になにかは草分け的存在ならそれは振る舞う fact3: 「もしもなにかは御寂しいということはないとしたら「その達識者は仄暗くないしまた賢しいということはない」ということは確かだ」ということは間違いでない fact4: 仮になにがしかの物は御寂しいならば「それは仄暗くないしまた賢しくない」ということは間違いだ fact5: 仮に「そのＥＪωＴは発電しないが御戻り下さる」ということは間違っているならその一瞥は草分け的存在である fact6: 「仄暗くない」物はある fact7: このＣＶ研究はデジタルビデオカメラでないししかも賢しいということはない fact8: 「栄転しない」物はある fact9: 「御寂しくない」物はある
fact9 & fact3 -> hypothesis;
fact9 & fact3 -> hypothesis;
「その達識者は仄暗くないし賢しくない」ということは間違いだ
fact12 -> int1: もしその達識者は御寂しいとすれば「仄暗くないし賢しくない」ということは成り立たない; fact11 -> int2: その一瞥は草分け的存在であるとすれば振る舞う;
$facts$ = fact1: 「その達識者は賢しくないしそれにきつかない」ということは成り立つ fact2: 仮になにかは草分け的存在ならそれは振る舞う fact3: 「もしもなにかは御寂しいということはないとしたら「その達識者は仄暗くないしまた賢しいということはない」ということは確かだ」ということは間違いでない fact4: 仮になにがしかの物は御寂しいならば「それは仄暗くないしまた賢しくない」ということは間違いだ fact5: 仮に「そのＥＪωＴは発電しないが御戻り下さる」ということは間違っているならその一瞥は草分け的存在である fact6: 「仄暗くない」物はある fact7: このＣＶ研究はデジタルビデオカメラでないししかも賢しいということはない fact8: 「栄転しない」物はある fact9: 「御寂しくない」物はある ; $hypothesis$ = その達識者は仄暗くないしかつ賢しくない ; $proof$ = 
fact9 & fact3 -> hypothesis; __PROVED__
事実1: 「その達識者は賢しくないしそれにきつかない」ということは成り立つ
事実2: 仮になにかは草分け的存在ならそれは振る舞う
事実3: 「もしもなにかは御寂しいということはないとしたら「その達識者は仄暗くないしまた賢しいということはない」ということは確かだ」ということは間違いでない
事実4: 仮になにがしかの物は御寂しいならば「それは仄暗くないしまた賢しくない」ということは間違いだ
事実5: 仮に「そのＥＪωＴは発電しないが御戻り下さる」ということは間違っているならその一瞥は草分け的存在である
事実6: 「仄暗くない」物はある
事実7: このＣＶ研究はデジタルビデオカメラでないししかも賢しいということはない
事実8: 「栄転しない」物はある
事実9: 「御寂しくない」物はある

仮説: その達識者は仄暗くないしかつ賢しくない
1. 事実9と事実3から、仮説が導かれる

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