その餌入れは掛かり易い
fact1: 仮にこの怪がべた付き易くないとするとその餌入れはフラマリオンでないが大草香御子である fact2: もしこの怪がフラマリオンでないとするとその餌入れは大草香御子である fact3: その餌入れはべた付き易いということはない fact4: もし仮にべた付き易くない物はフラマリオンであるならば「それは掛かり易い」ということは成り立つ fact5: この怪はべた付き易い fact6: 「この今年度はフラマリオンでない」ということは本当だ fact7: その餌入れは出し難い fact8: その餌入れは悪魔論でない fact9: 仮にこの怪が大草香御子でないとしたらその餌入れはべた付き易くないけれどフラマリオンである fact10: もしもその上塗り塗料が製薬メーカーでない一方でそれは当初計画であるとしたら主体部である fact11: もし仮にこの怪が掛かり易くないならその餌入れはべた付き易い fact12: その餌入れはアートトラック系だ fact13: もし仮にべた付き易いということはないものが大草香御子ならフラマリオンだ fact14: この座敷席はどうして良くないがしかし高い fact15: 「その餌入れは大草香御子であるということはない」ということは本当であるならば「この怪はフラマリオンである」ということは確かだ fact16: もしもこの怪がべた付き易くないならその餌入れは掛かり易い fact17: この怪は大草香御子であるということはない
fact9 & fact17 -> int1: その餌入れはべた付き易くないがしかしそれはフラマリオンだ; fact4 -> int2: もし仮にその餌入れはべた付き易いということはないけれどフラマリオンだとすればそれは掛かり易い; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にこの怪がべた付き易くないとするとその餌入れはフラマリオンでないが大草香御子である fact2: もしこの怪がフラマリオンでないとするとその餌入れは大草香御子である fact3: その餌入れはべた付き易いということはない fact4: もし仮にべた付き易くない物はフラマリオンであるならば「それは掛かり易い」ということは成り立つ fact5: この怪はべた付き易い fact6: 「この今年度はフラマリオンでない」ということは本当だ fact7: その餌入れは出し難い fact8: その餌入れは悪魔論でない fact9: 仮にこの怪が大草香御子でないとしたらその餌入れはべた付き易くないけれどフラマリオンである fact10: もしもその上塗り塗料が製薬メーカーでない一方でそれは当初計画であるとしたら主体部である fact11: もし仮にこの怪が掛かり易くないならその餌入れはべた付き易い fact12: その餌入れはアートトラック系だ fact13: もし仮にべた付き易いということはないものが大草香御子ならフラマリオンだ fact14: この座敷席はどうして良くないがしかし高い fact15: 「その餌入れは大草香御子であるということはない」ということは本当であるならば「この怪はフラマリオンである」ということは確かだ fact16: もしもこの怪がべた付き易くないならその餌入れは掛かり易い fact17: この怪は大草香御子であるということはない ; $hypothesis$ = その餌入れは掛かり易い ; $proof$ = 
fact9 & fact17 -> int1: その餌入れはべた付き易くないがしかしそれはフラマリオンだ; fact4 -> int2: もし仮にその餌入れはべた付き易いということはないけれどフラマリオンだとすればそれは掛かり易い; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの怪がべた付き易くないとするとその餌入れはフラマリオンでないが大草香御子である
事実2: もしこの怪がフラマリオンでないとするとその餌入れは大草香御子である
事実3: その餌入れはべた付き易いということはない
事実4: もし仮にべた付き易くない物はフラマリオンであるならば「それは掛かり易い」ということは成り立つ
事実5: この怪はべた付き易い
事実6: 「この今年度はフラマリオンでない」ということは本当だ
事実7: その餌入れは出し難い
事実8: その餌入れは悪魔論でない
事実9: 仮にこの怪が大草香御子でないとしたらその餌入れはべた付き易くないけれどフラマリオンである
事実10: もしもその上塗り塗料が製薬メーカーでない一方でそれは当初計画であるとしたら主体部である
事実11: もし仮にこの怪が掛かり易くないならその餌入れはべた付き易い
事実12: その餌入れはアートトラック系だ
事実13: もし仮にべた付き易いということはないものが大草香御子ならフラマリオンだ
事実14: この座敷席はどうして良くないがしかし高い
事実15: 「その餌入れは大草香御子であるということはない」ということは本当であるならば「この怪はフラマリオンである」ということは確かだ
事実16: もしもこの怪がべた付き易くないならその餌入れは掛かり易い
事実17: この怪は大草香御子であるということはない

仮説: その餌入れは掛かり易い
1. 事実9と事実17から、推論1: "その餌入れはべた付き易くないがしかしそれはフラマリオンだ"が導かれる
2. 事実4から、推論2: "もし仮にその餌入れはべた付き易いということはないけれどフラマリオンだとすればそれは掛かり易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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