「仮に成し難いとすれば「地中深いけど流浪しない」ということは成り立たない」ものはある
fact1: なにがしかのものは思い通りなら「それは渇望する一方で齎せるということはない」ということは間違いだ fact2: もしもこの診断能力は成し難いなら「それは地中深いけど流浪しない」ということは成り立たない fact3: 「閑暇であるとしたら出世出来るけれど所得Ｙでない」物はある fact4: もしこの診断能力は電動ドリルであるなら「見劣りだし地中深い」ということは嘘だ fact5: 「もし自動作成するとすると「か弱いししかも外出前でない」ということは正しくない」ものはある fact6: もしその経鼻が煩悩なら俗耳であるがしかし流浪しない
fact2 -> hypothesis;
「思い通りであるとしたら「渇望するしかつ齎せるない」ということは間違っている」ものはある
fact7 -> int1: もし仮に「この第三章水素は思い通りだ」ということは確かだとすると「それは渇望するし加えてそれは齎せるということはない」ということは嘘だ; int1 -> hypothesis;
$facts$ = fact1: なにがしかのものは思い通りなら「それは渇望する一方で齎せるということはない」ということは間違いだ fact2: もしもこの診断能力は成し難いなら「それは地中深いけど流浪しない」ということは成り立たない fact3: 「閑暇であるとしたら出世出来るけれど所得Ｙでない」物はある fact4: もしこの診断能力は電動ドリルであるなら「見劣りだし地中深い」ということは嘘だ fact5: 「もし自動作成するとすると「か弱いししかも外出前でない」ということは正しくない」ものはある fact6: もしその経鼻が煩悩なら俗耳であるがしかし流浪しない ; $hypothesis$ = 「仮に成し難いとすれば「地中深いけど流浪しない」ということは成り立たない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: なにがしかのものは思い通りなら「それは渇望する一方で齎せるということはない」ということは間違いだ
事実2: もしもこの診断能力は成し難いなら「それは地中深いけど流浪しない」ということは成り立たない
事実3: 「閑暇であるとしたら出世出来るけれど所得Ｙでない」物はある
事実4: もしこの診断能力は電動ドリルであるなら「見劣りだし地中深い」ということは嘘だ
事実5: 「もし自動作成するとすると「か弱いししかも外出前でない」ということは正しくない」ものはある
事実6: もしその経鼻が煩悩なら俗耳であるがしかし流浪しない

仮説: 「仮に成し難いとすれば「地中深いけど流浪しない」ということは成り立たない」ものはある
1. 事実2から、仮説が導かれる

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