そのウルトラは挽く
fact1: もし仮に「なにがしかの物は共同設置するしかつそれは解け易い」ということは成り立たないならば解け易くない fact2: この本庁は挽く fact3: そのウルトラは挽く fact4: もしもある物は水っぽくないならば「共同設置するしかつ解け易い」ということは嘘だ fact5: 仮に「「そのウルトラは進化し易くないけどそれは挽く」ということは確かだ」ということは成り立たないとしたら「挽かない」ということは成り立つ fact6: もし仮になんらかの物は解け易くないとすると「それは進化し易くないしかつ挽く」ということは成り立たない fact7: 「そのウルトラは寝苦しい」ということは事実だ
fact3 -> hypothesis;
fact3 -> hypothesis;
「そのウルトラは挽かない」ということは事実である
fact10 -> int1: 仮にそのウルトラは解け易くないなら「それは進化し易くないが挽く」ということは成り立たない; fact11 -> int2: もしも「そのウルトラは共同設置するし解け易い」ということは成り立たないとしたら「解け易くない」ということは成り立つ; fact9 -> int3: 仮にそのウルトラは水っぽくないとすれば「共同設置するし解け易い」ということは誤っている;
$facts$ = fact1: もし仮に「なにがしかの物は共同設置するしかつそれは解け易い」ということは成り立たないならば解け易くない fact2: この本庁は挽く fact3: そのウルトラは挽く fact4: もしもある物は水っぽくないならば「共同設置するしかつ解け易い」ということは嘘だ fact5: 仮に「「そのウルトラは進化し易くないけどそれは挽く」ということは確かだ」ということは成り立たないとしたら「挽かない」ということは成り立つ fact6: もし仮になんらかの物は解け易くないとすると「それは進化し易くないしかつ挽く」ということは成り立たない fact7: 「そのウルトラは寝苦しい」ということは事実だ ; $hypothesis$ = そのウルトラは挽く ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかの物は共同設置するしかつそれは解け易い」ということは成り立たないならば解け易くない
事実2: この本庁は挽く
事実3: そのウルトラは挽く
事実4: もしもある物は水っぽくないならば「共同設置するしかつ解け易い」ということは嘘だ
事実5: 仮に「「そのウルトラは進化し易くないけどそれは挽く」ということは確かだ」ということは成り立たないとしたら「挽かない」ということは成り立つ
事実6: もし仮になんらかの物は解け易くないとすると「それは進化し易くないしかつ挽く」ということは成り立たない
事実7: 「そのウルトラは寝苦しい」ということは事実だ

仮説: そのウルトラは挽く
1. 事実3から、仮説が導かれる

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