「仮に鍛えないしさらに一覧するとすると寝付く」ものはある
fact1: 「もしもその差数が鍛えないけどそれが一覧するとするとその差数は寝付く」ということは間違っていない fact2: もし仮にその差数は鍛えるししかも一覧するなら寝付く fact3: 仮にその差数が生み難くないけれど鍛えるなら地下深い fact4: 「もし仮に鍛えるし一覧するとすれば寝付く」物はある fact5: 仮に何らかの物は寝付くということはないが白っぽいとしたら修整する
fact1 -> hypothesis;
fact1 -> hypothesis;
仮にあの基本的態度は寝付かないけど白っぽいとしたら「それは修整する」ということは真実だ
fact6 -> hypothesis;
$facts$ = fact1: 「もしもその差数が鍛えないけどそれが一覧するとするとその差数は寝付く」ということは間違っていない fact2: もし仮にその差数は鍛えるししかも一覧するなら寝付く fact3: 仮にその差数が生み難くないけれど鍛えるなら地下深い fact4: 「もし仮に鍛えるし一覧するとすれば寝付く」物はある fact5: 仮に何らかの物は寝付くということはないが白っぽいとしたら修整する ; $hypothesis$ = 「仮に鍛えないしさらに一覧するとすると寝付く」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 「もしもその差数が鍛えないけどそれが一覧するとするとその差数は寝付く」ということは間違っていない
事実2: もし仮にその差数は鍛えるししかも一覧するなら寝付く
事実3: 仮にその差数が生み難くないけれど鍛えるなら地下深い
事実4: 「もし仮に鍛えるし一覧するとすれば寝付く」物はある
事実5: 仮に何らかの物は寝付くということはないが白っぽいとしたら修整する

仮説: 「仮に鍛えないしさらに一覧するとすると寝付く」ものはある
1. 事実1から、仮説が導かれる

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