この購入時点は理解し易くない
fact1: 仮に「その灯油ストーブ等は分かり辛いかあるいは編集バーだ」ということは間違っているとするとそれは選択し易くない fact2: あのアルコール脱水素酵素は神々しいか堆くないかもしくはどちらもだ fact3: あのアルコール脱水素酵素は神々しいかもしくはそれは堆いかあるいは両方ともである fact4: もしも「ある物は選択し易いけど編集バーでない」ということは嘘ならば選択し易くない fact5: この購入時点は理解し易いか神々しかない fact6: 仮にあのアルコール脱水素酵素が選択し易くないとするとこの購入時点は理解し易いけれどアピールしない fact7: この購入時点は理解し易いかまたは堆くないかまたは両方ともだ fact8: なんらかのものは分かり辛いということはないとしたら「選択し易いけど編集バーでない」ということは成り立たない fact9: もしあのアルコール脱水素酵素が堆くないならこの購入時点は理解し易くない fact10: もし仮にあのアルコール脱水素酵素が神々しいかもしくは堆くないとすればこの購入時点は理解し易くない
fact10 & fact2 -> hypothesis;
fact10 & fact2 -> hypothesis;
この購入時点はマッサージ出来るかもしくはそれは理解し易くない
$facts$ = fact1: 仮に「その灯油ストーブ等は分かり辛いかあるいは編集バーだ」ということは間違っているとするとそれは選択し易くない fact2: あのアルコール脱水素酵素は神々しいか堆くないかもしくはどちらもだ fact3: あのアルコール脱水素酵素は神々しいかもしくはそれは堆いかあるいは両方ともである fact4: もしも「ある物は選択し易いけど編集バーでない」ということは嘘ならば選択し易くない fact5: この購入時点は理解し易いか神々しかない fact6: 仮にあのアルコール脱水素酵素が選択し易くないとするとこの購入時点は理解し易いけれどアピールしない fact7: この購入時点は理解し易いかまたは堆くないかまたは両方ともだ fact8: なんらかのものは分かり辛いということはないとしたら「選択し易いけど編集バーでない」ということは成り立たない fact9: もしあのアルコール脱水素酵素が堆くないならこの購入時点は理解し易くない fact10: もし仮にあのアルコール脱水素酵素が神々しいかもしくは堆くないとすればこの購入時点は理解し易くない ; $hypothesis$ = この購入時点は理解し易くない ; $proof$ = 
fact10 & fact2 -> hypothesis; __PROVED__
事実1: 仮に「その灯油ストーブ等は分かり辛いかあるいは編集バーだ」ということは間違っているとするとそれは選択し易くない
事実2: あのアルコール脱水素酵素は神々しいか堆くないかもしくはどちらもだ
事実3: あのアルコール脱水素酵素は神々しいかもしくはそれは堆いかあるいは両方ともである
事実4: もしも「ある物は選択し易いけど編集バーでない」ということは嘘ならば選択し易くない
事実5: この購入時点は理解し易いか神々しかない
事実6: 仮にあのアルコール脱水素酵素が選択し易くないとするとこの購入時点は理解し易いけれどアピールしない
事実7: この購入時点は理解し易いかまたは堆くないかまたは両方ともだ
事実8: なんらかのものは分かり辛いということはないとしたら「選択し易いけど編集バーでない」ということは成り立たない
事実9: もしあのアルコール脱水素酵素が堆くないならこの購入時点は理解し易くない
事実10: もし仮にあのアルコール脱水素酵素が神々しいかもしくは堆くないとすればこの購入時点は理解し易くない

仮説: この購入時点は理解し易くない
1. 事実10と事実2から、仮説が導かれる

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