この回天は暗し
fact1: もしこの成績表がパラフィンならこの回天は暗し fact2: もし仮に何らかの物はかったるいとすると「それは統計手法であるしそれは禁煙出来ない」ということは嘘だ fact3: この成績表は発展し得るかあるいはそれはパラフィンであるかもしくは両方だ fact4: なにかは統計手法でないとすれば「それはパラフィンでないしそれは発展し得る」ということは成り立たない fact5: この成績表は暗しか発展し得るかもしくは両方だ fact6: 仮に「「「発展し得るけど暗しない」ということは成り立つ」ということは誤っている」物があるとすればこの旧四会は暗し fact7: 「何らかの物は統計手法だ一方で禁煙出来ない」ということは正しくないとしたらそれはパラフィンだ fact8: もしこの成績表が発展し得るとするとこの回天は暗し fact9: このユニコードはＳＡＲＳだ fact10: もし「この成績表は念じないしおまけにかったるくない」ということは成り立たないならかったるい fact11: もし仮に何らかのものはパラフィンだとしたら「それは発展し得るし加えて暗しない」ということは間違いだ fact12: もしもこの成績表は皮静脈であるということはないなら「それは念じないしかったるくない」ということは成り立たない fact13: もし仮にこのユニコードはＳＡＲＳであるならば「それはたどたどしくないが皮静脈である」ということは偽である
fact3 & fact8 & fact1 -> hypothesis;
この旧四会は暗し
fact17 -> int1: この成績表はパラフィンであるとすれば「それは発展し得るしそれは暗しない」ということは間違っている; fact14 -> int2: もし「この成績表は統計手法だがしかしそれは禁煙出来ない」ということは誤りならばそれはパラフィンである; fact21 -> int3: もしもこの成績表はかったるいなら「それは統計手法だがしかし禁煙出来ない」ということは成り立たない; fact16 & fact20 -> int4: 「このユニコードはたどたどしくないけど皮静脈である」ということは成り立たない; int4 -> int5: 「「たどたどしくないけれど皮静脈だ」ということは誤りな」物はある;
$facts$ = fact1: もしこの成績表がパラフィンならこの回天は暗し fact2: もし仮に何らかの物はかったるいとすると「それは統計手法であるしそれは禁煙出来ない」ということは嘘だ fact3: この成績表は発展し得るかあるいはそれはパラフィンであるかもしくは両方だ fact4: なにかは統計手法でないとすれば「それはパラフィンでないしそれは発展し得る」ということは成り立たない fact5: この成績表は暗しか発展し得るかもしくは両方だ fact6: 仮に「「「発展し得るけど暗しない」ということは成り立つ」ということは誤っている」物があるとすればこの旧四会は暗し fact7: 「何らかの物は統計手法だ一方で禁煙出来ない」ということは正しくないとしたらそれはパラフィンだ fact8: もしこの成績表が発展し得るとするとこの回天は暗し fact9: このユニコードはＳＡＲＳだ fact10: もし「この成績表は念じないしおまけにかったるくない」ということは成り立たないならかったるい fact11: もし仮に何らかのものはパラフィンだとしたら「それは発展し得るし加えて暗しない」ということは間違いだ fact12: もしもこの成績表は皮静脈であるということはないなら「それは念じないしかったるくない」ということは成り立たない fact13: もし仮にこのユニコードはＳＡＲＳであるならば「それはたどたどしくないが皮静脈である」ということは偽である ; $hypothesis$ = この回天は暗し ; $proof$ = 
fact3 & fact8 & fact1 -> hypothesis; __PROVED__
事実1: もしこの成績表がパラフィンならこの回天は暗し
事実2: もし仮に何らかの物はかったるいとすると「それは統計手法であるしそれは禁煙出来ない」ということは嘘だ
事実3: この成績表は発展し得るかあるいはそれはパラフィンであるかもしくは両方だ
事実4: なにかは統計手法でないとすれば「それはパラフィンでないしそれは発展し得る」ということは成り立たない
事実5: この成績表は暗しか発展し得るかもしくは両方だ
事実6: 仮に「「「発展し得るけど暗しない」ということは成り立つ」ということは誤っている」物があるとすればこの旧四会は暗し
事実7: 「何らかの物は統計手法だ一方で禁煙出来ない」ということは正しくないとしたらそれはパラフィンだ
事実8: もしこの成績表が発展し得るとするとこの回天は暗し
事実9: このユニコードはＳＡＲＳだ
事実10: もし「この成績表は念じないしおまけにかったるくない」ということは成り立たないならかったるい
事実11: もし仮に何らかのものはパラフィンだとしたら「それは発展し得るし加えて暗しない」ということは間違いだ
事実12: もしもこの成績表は皮静脈であるということはないなら「それは念じないしかったるくない」ということは成り立たない
事実13: もし仮にこのユニコードはＳＡＲＳであるならば「それはたどたどしくないが皮静脈である」ということは偽である

仮説: この回天は暗し
1. 事実3と事実8と事実1から、仮説が導かれる

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