あの一角獣は気付き易い
fact1: 伝わり易いものは医薬である fact2: もし仮にその組合財産が観察し易いとすれば医薬だ fact3: もしなにがしかの物はこそばゆいとすると「それは出易いけれどルールブックでない」ということは成り立たない fact4: もしその私見は恐ろしくないがしかしこそばゆいならば「あの桂川沿いはこそばゆくない」ということは確かだ fact5: もしある物がプロ棋士でないとするとそれは観察し易いかまたはそれは伝わり易いかどちらもだ fact6: あのベージュが出易いとしたらあの一角獣は気付き易い fact7: それはおもろいし諸因子であるというものはない fact8: もし「あるものは増え過ぎないかそれは篠竹だ」ということは成り立たないとすれば「それはプロ棋士でない」ということは本当だ fact9: 「それはおもろくないしそれは諸因子だ」ということは本当だというものはない fact10: 「あのベージュがおもろいしその上諸因子である」ということは嘘だ fact11: それは増え過ぎないかもしくはそれは篠竹であるかまたは両方であるという物はない fact12: 恐ろしくないものはこそばゆくてかつ晒され易い fact13: 「あの一角獣は出易い」ということは事実である fact14: もしも「とあるものはおもろくないけど諸因子だ」ということは間違いであるとすれば出易い fact15: もしその組合財産が晒され易くないとしたらその私見は恐ろしいということはないけどこそばゆい fact16: 医薬は晒され易いということはないがしかし引き剥がす
fact9 -> int1: 「「あのベージュはおもろくないがしかし諸因子である」ということは成り立つ」ということは成り立たない; fact14 -> int2: もしも「あのベージュはおもろいということはないけれど諸因子である」ということは成り立つということはないならば出易い; int1 & int2 -> int3: あのベージュは出易い; int3 & fact6 -> hypothesis;
あの一角獣は気付き易くない
fact18 -> int4: もしあの桂川沿いが恐ろしくないとすればそれはこそばゆいしそれは晒され易い; fact17 -> int5: あの一角獣はこそばゆいならば「それは出易いしルールブックでない」ということは事実と異なる;
$facts$ = fact1: 伝わり易いものは医薬である fact2: もし仮にその組合財産が観察し易いとすれば医薬だ fact3: もしなにがしかの物はこそばゆいとすると「それは出易いけれどルールブックでない」ということは成り立たない fact4: もしその私見は恐ろしくないがしかしこそばゆいならば「あの桂川沿いはこそばゆくない」ということは確かだ fact5: もしある物がプロ棋士でないとするとそれは観察し易いかまたはそれは伝わり易いかどちらもだ fact6: あのベージュが出易いとしたらあの一角獣は気付き易い fact7: それはおもろいし諸因子であるというものはない fact8: もし「あるものは増え過ぎないかそれは篠竹だ」ということは成り立たないとすれば「それはプロ棋士でない」ということは本当だ fact9: 「それはおもろくないしそれは諸因子だ」ということは本当だというものはない fact10: 「あのベージュがおもろいしその上諸因子である」ということは嘘だ fact11: それは増え過ぎないかもしくはそれは篠竹であるかまたは両方であるという物はない fact12: 恐ろしくないものはこそばゆくてかつ晒され易い fact13: 「あの一角獣は出易い」ということは事実である fact14: もしも「とあるものはおもろくないけど諸因子だ」ということは間違いであるとすれば出易い fact15: もしその組合財産が晒され易くないとしたらその私見は恐ろしいということはないけどこそばゆい fact16: 医薬は晒され易いということはないがしかし引き剥がす ; $hypothesis$ = あの一角獣は気付き易い ; $proof$ = 
fact9 -> int1: 「「あのベージュはおもろくないがしかし諸因子である」ということは成り立つ」ということは成り立たない; fact14 -> int2: もしも「あのベージュはおもろいということはないけれど諸因子である」ということは成り立つということはないならば出易い; int1 & int2 -> int3: あのベージュは出易い; int3 & fact6 -> hypothesis; __PROVED__
事実1: 伝わり易いものは医薬である
事実2: もし仮にその組合財産が観察し易いとすれば医薬だ
事実3: もしなにがしかの物はこそばゆいとすると「それは出易いけれどルールブックでない」ということは成り立たない
事実4: もしその私見は恐ろしくないがしかしこそばゆいならば「あの桂川沿いはこそばゆくない」ということは確かだ
事実5: もしある物がプロ棋士でないとするとそれは観察し易いかまたはそれは伝わり易いかどちらもだ
事実6: あのベージュが出易いとしたらあの一角獣は気付き易い
事実7: それはおもろいし諸因子であるというものはない
事実8: もし「あるものは増え過ぎないかそれは篠竹だ」ということは成り立たないとすれば「それはプロ棋士でない」ということは本当だ
事実9: 「それはおもろくないしそれは諸因子だ」ということは本当だというものはない
事実10: 「あのベージュがおもろいしその上諸因子である」ということは嘘だ
事実11: それは増え過ぎないかもしくはそれは篠竹であるかまたは両方であるという物はない
事実12: 恐ろしくないものはこそばゆくてかつ晒され易い
事実13: 「あの一角獣は出易い」ということは事実である
事実14: もしも「とあるものはおもろくないけど諸因子だ」ということは間違いであるとすれば出易い
事実15: もしその組合財産が晒され易くないとしたらその私見は恐ろしいということはないけどこそばゆい
事実16: 医薬は晒され易いということはないがしかし引き剥がす

仮説: あの一角獣は気付き易い
1. 事実9から、推論1: "「「あのベージュはおもろくないがしかし諸因子である」ということは成り立つ」ということは成り立たない"が導かれる
2. 事実14から、推論2: "もしも「あのベージュはおもろいということはないけれど諸因子である」ということは成り立つということはないならば出易い"が導かれる
3. 推論1と推論2から、推論3: "あのベージュは出易い"が導かれる
4. 推論3と事実6から、仮説が導かれる

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