この逓増は御披露目する
fact1: この逓増は借り易い fact2: 仮に「とある物はおもろい」ということは本当であるとするとそれは御披露目する fact3: この逓増は茶色っぽい fact4: その秋雨前線が相殺出来ないならばこの逓増はクローズドでおまけに交流学級である fact5: 何らかの物は後任でないとすると「相殺出来るし冬営だ」ということは成り立たない fact6: この逓増は交流学級だ fact7: 仮にあるものは交流学級ならば「御披露目するしまたそれはおもろいということはない」ということは成り立たない fact8: もしその秋雨前線が交流学級であるとすればこの逓増はおもろい fact9: その自由保育は交流学級である fact10: 「その秋雨前線は交流学級である」ということは本当である fact11: 「その秋雨前線は相殺出来るし冬営だ」ということは真実でないとすればそれは相殺出来ない fact12: その秋雨前線は邪魔臭くないとしたら「後任でない」ということは成り立つ
fact8 & fact10 -> int1: この逓増はおもろい; fact2 -> int2: もしこの逓増がおもろいとするとそれは御披露目する; int1 & int2 -> hypothesis;
この逓増は御披露目しない
fact17 -> int3: もし仮にこの逓増は交流学級だとすれば「御披露目するがしかしおもろくない」ということは間違っている; fact15 -> int4: 仮にその秋雨前線は後任でないならば「それは相殺出来るし加えて冬営だ」ということは間違いである;
$facts$ = fact1: この逓増は借り易い fact2: 仮に「とある物はおもろい」ということは本当であるとするとそれは御披露目する fact3: この逓増は茶色っぽい fact4: その秋雨前線が相殺出来ないならばこの逓増はクローズドでおまけに交流学級である fact5: 何らかの物は後任でないとすると「相殺出来るし冬営だ」ということは成り立たない fact6: この逓増は交流学級だ fact7: 仮にあるものは交流学級ならば「御披露目するしまたそれはおもろいということはない」ということは成り立たない fact8: もしその秋雨前線が交流学級であるとすればこの逓増はおもろい fact9: その自由保育は交流学級である fact10: 「その秋雨前線は交流学級である」ということは本当である fact11: 「その秋雨前線は相殺出来るし冬営だ」ということは真実でないとすればそれは相殺出来ない fact12: その秋雨前線は邪魔臭くないとしたら「後任でない」ということは成り立つ ; $hypothesis$ = この逓増は御披露目する ; $proof$ = 
fact8 & fact10 -> int1: この逓増はおもろい; fact2 -> int2: もしこの逓増がおもろいとするとそれは御披露目する; int1 & int2 -> hypothesis; __PROVED__
事実1: この逓増は借り易い
事実2: 仮に「とある物はおもろい」ということは本当であるとするとそれは御披露目する
事実3: この逓増は茶色っぽい
事実4: その秋雨前線が相殺出来ないならばこの逓増はクローズドでおまけに交流学級である
事実5: 何らかの物は後任でないとすると「相殺出来るし冬営だ」ということは成り立たない
事実6: この逓増は交流学級だ
事実7: 仮にあるものは交流学級ならば「御披露目するしまたそれはおもろいということはない」ということは成り立たない
事実8: もしその秋雨前線が交流学級であるとすればこの逓増はおもろい
事実9: その自由保育は交流学級である
事実10: 「その秋雨前線は交流学級である」ということは本当である
事実11: 「その秋雨前線は相殺出来るし冬営だ」ということは真実でないとすればそれは相殺出来ない
事実12: その秋雨前線は邪魔臭くないとしたら「後任でない」ということは成り立つ

仮説: この逓増は御披露目する
1. 事実8と事実10から、推論1: "この逓増はおもろい"が導かれる
2. 事実2から、推論2: "もしこの逓増がおもろいとするとそれは御披露目する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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