「仮にこの出身地が十八ホールだとすればその藍色は混合する」ということは成り立つということはない
fact1: その岩木川下流域は乗り掛からない fact2: その藍色は間違え易い fact3: ある物は乗り掛かるけど間違え易くない fact4: もしその岩木川下流域が十八ホールであるとすればこの出身地は乗り掛かる fact5: とある物は乗り掛かるということはない fact6: もし何かは乗り掛からなくておまけに間違え易くないとすればあの藍色は混合する fact7: もしもこの出身地は十八ホールであるなら「その岩木川下流域は乗り掛からなくて加えてそれは間違え易くない」ということは成り立つ fact8: もし仮にこの出身地が十八ホールだとするとその岩木川下流域は乗り掛からない fact9: なにがしかのものは間違え易くない fact10: 「その藍色は十八ホールである」ということは成り立つ fact11: ある物は乗り掛かるということはないけど間違え易い fact12: もしとあるものは十八ホールでないとしたら構えないしまた混合しない
void -> assump1: 以下のように仮定する。この出身地は十八ホールである; fact7 & assump1 -> int1: その岩木川下流域は乗り掛からなくて加えて間違え易くない; int1 -> int2: なにがしかのものは乗り掛からないしまたそれは間違え易くない; int2 & fact6 -> int3: その藍色は混合する; [assump1] & int3 -> hypothesis;
あの現代彫刻は構えないしそれは混合しない
fact13 -> int4: もし仮にあの現代彫刻は十八ホールでないならそれは構えるということはなくて混合しない;
$facts$ = fact1: その岩木川下流域は乗り掛からない fact2: その藍色は間違え易い fact3: ある物は乗り掛かるけど間違え易くない fact4: もしその岩木川下流域が十八ホールであるとすればこの出身地は乗り掛かる fact5: とある物は乗り掛かるということはない fact6: もし何かは乗り掛からなくておまけに間違え易くないとすればあの藍色は混合する fact7: もしもこの出身地は十八ホールであるなら「その岩木川下流域は乗り掛からなくて加えてそれは間違え易くない」ということは成り立つ fact8: もし仮にこの出身地が十八ホールだとするとその岩木川下流域は乗り掛からない fact9: なにがしかのものは間違え易くない fact10: 「その藍色は十八ホールである」ということは成り立つ fact11: ある物は乗り掛かるということはないけど間違え易い fact12: もしとあるものは十八ホールでないとしたら構えないしまた混合しない ; $hypothesis$ = 「仮にこの出身地が十八ホールだとすればその藍色は混合する」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この出身地は十八ホールである; fact7 & assump1 -> int1: その岩木川下流域は乗り掛からなくて加えて間違え易くない; int1 -> int2: なにがしかのものは乗り掛からないしまたそれは間違え易くない; int2 & fact6 -> int3: その藍色は混合する; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: その岩木川下流域は乗り掛からない
事実2: その藍色は間違え易い
事実3: ある物は乗り掛かるけど間違え易くない
事実4: もしその岩木川下流域が十八ホールであるとすればこの出身地は乗り掛かる
事実5: とある物は乗り掛かるということはない
事実6: もし何かは乗り掛からなくておまけに間違え易くないとすればあの藍色は混合する
事実7: もしもこの出身地は十八ホールであるなら「その岩木川下流域は乗り掛からなくて加えてそれは間違え易くない」ということは成り立つ
事実8: もし仮にこの出身地が十八ホールだとするとその岩木川下流域は乗り掛からない
事実9: なにがしかのものは間違え易くない
事実10: 「その藍色は十八ホールである」ということは成り立つ
事実11: ある物は乗り掛かるということはないけど間違え易い
事実12: もしとあるものは十八ホールでないとしたら構えないしまた混合しない

仮説: 「仮にこの出身地が十八ホールだとすればその藍色は混合する」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この出身地は十八ホールである
2. 事実7と仮定1から、推論1: "その岩木川下流域は乗り掛からなくて加えて間違え易くない"が導かれる
3. 推論1から、推論2: "なにがしかのものは乗り掛からないしまたそれは間違え易くない"が導かれる
4. 推論2と事実6から、推論3: "その藍色は混合する"が導かれる
5. [仮定1]と推論3から、仮説が否定される

よって、仮説が否定されました。