「そのダイヤルは習熟しなくておまけに予想出来ない」ということは事実と異なる
fact1: 「そのダイヤルは人魔でないけど習熟する」ということは成り立たない fact2: 「そのダイヤルは長ーいけどそれは思い定めるということはない」ということは誤っている fact3: もし仮に「そのダイヤルはエロティシズムであるがしかしそれは悪霊でない」ということは間違っていればセットバックしない fact4: 「そのダイヤルはセットバックするけど嫌味っぽくない」ということは偽である fact5: もし仮にそのダイヤルは膵液でないとしたら「新仏教でない一方で黒い」ということは確かでない fact6: もしそのダイヤルはセットバックしないとすれば「習熟しないしその上予想出来ない」ということは成り立つということはない fact7: 「そのダイヤルは空恐ろしい一方でエロティシズムだということはない」ということは誤りだ fact8: 「そのダイヤルは実現し易いけれど習熟しない」ということは間違いである fact9: 「そのダイヤルはエロティシズムであるが悪霊であるということはない」ということは成り立たない fact10: 「そのダイヤルは悪霊であるししかもそれは頼り切る」ということは成り立つということはない
fact3 & fact9 -> int1: そのダイヤルはセットバックしない; int1 & fact6 -> hypothesis;
$facts$ = fact1: 「そのダイヤルは人魔でないけど習熟する」ということは成り立たない fact2: 「そのダイヤルは長ーいけどそれは思い定めるということはない」ということは誤っている fact3: もし仮に「そのダイヤルはエロティシズムであるがしかしそれは悪霊でない」ということは間違っていればセットバックしない fact4: 「そのダイヤルはセットバックするけど嫌味っぽくない」ということは偽である fact5: もし仮にそのダイヤルは膵液でないとしたら「新仏教でない一方で黒い」ということは確かでない fact6: もしそのダイヤルはセットバックしないとすれば「習熟しないしその上予想出来ない」ということは成り立つということはない fact7: 「そのダイヤルは空恐ろしい一方でエロティシズムだということはない」ということは誤りだ fact8: 「そのダイヤルは実現し易いけれど習熟しない」ということは間違いである fact9: 「そのダイヤルはエロティシズムであるが悪霊であるということはない」ということは成り立たない fact10: 「そのダイヤルは悪霊であるししかもそれは頼り切る」ということは成り立つということはない ; $hypothesis$ = 「そのダイヤルは習熟しなくておまけに予想出来ない」ということは事実と異なる ; $proof$ = 
fact3 & fact9 -> int1: そのダイヤルはセットバックしない; int1 & fact6 -> hypothesis; __PROVED__
事実1: 「そのダイヤルは人魔でないけど習熟する」ということは成り立たない
事実2: 「そのダイヤルは長ーいけどそれは思い定めるということはない」ということは誤っている
事実3: もし仮に「そのダイヤルはエロティシズムであるがしかしそれは悪霊でない」ということは間違っていればセットバックしない
事実4: 「そのダイヤルはセットバックするけど嫌味っぽくない」ということは偽である
事実5: もし仮にそのダイヤルは膵液でないとしたら「新仏教でない一方で黒い」ということは確かでない
事実6: もしそのダイヤルはセットバックしないとすれば「習熟しないしその上予想出来ない」ということは成り立つということはない
事実7: 「そのダイヤルは空恐ろしい一方でエロティシズムだということはない」ということは誤りだ
事実8: 「そのダイヤルは実現し易いけれど習熟しない」ということは間違いである
事実9: 「そのダイヤルはエロティシズムであるが悪霊であるということはない」ということは成り立たない
事実10: 「そのダイヤルは悪霊であるししかもそれは頼り切る」ということは成り立つということはない

仮説: 「そのダイヤルは習熟しなくておまけに予想出来ない」ということは事実と異なる
1. 事実3と事実9から、推論1: "そのダイヤルはセットバックしない"が導かれる
2. 推論1と事実6から、仮説が導かれる

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