とある物は眩しくない
fact1: 仮にその鈍行が調査書作成でないならばその毒ガスは先日でない fact2: もし仮になにがしかのものが先日でないしそれに捕食しないとしたらそれは調査書作成だということはない fact3: その学芸部は眩しいものであり更に観賞出来ないとすれば「それは職業活動でない」ということは成り立つ fact4: もしもその鈍行は捕食する一方で調査書作成であるということはないとしたら「それは眩しいということはない」ということは本当である fact5: もしもその鈍行が調査書作成でないとしたらその毒ガスは先日であるということはなくて捕食しない fact6: なにかは眩しい fact7: 仮にとあるものが先日でなくてしかもそれが捕食しないならそれは眩しくない fact8: その鈍行は調査書作成でない fact9: その鈍行は引き受けない fact10: その毒ガスは調査書作成でない fact11: 仮にその毒ガスが先日でないならばその鈍行は捕食しなくてそれは調査書作成だということはない
fact5 & fact8 -> int1: その毒ガスは先日でなくて捕食しない; fact7 -> int2: もしもその毒ガスが先日でないしさらにそれが捕食しないとすれば眩しくない; int1 & int2 -> int3: その毒ガスは眩しくない; int3 -> hypothesis;
$facts$ = fact1: 仮にその鈍行が調査書作成でないならばその毒ガスは先日でない fact2: もし仮になにがしかのものが先日でないしそれに捕食しないとしたらそれは調査書作成だということはない fact3: その学芸部は眩しいものであり更に観賞出来ないとすれば「それは職業活動でない」ということは成り立つ fact4: もしもその鈍行は捕食する一方で調査書作成であるということはないとしたら「それは眩しいということはない」ということは本当である fact5: もしもその鈍行が調査書作成でないとしたらその毒ガスは先日であるということはなくて捕食しない fact6: なにかは眩しい fact7: 仮にとあるものが先日でなくてしかもそれが捕食しないならそれは眩しくない fact8: その鈍行は調査書作成でない fact9: その鈍行は引き受けない fact10: その毒ガスは調査書作成でない fact11: 仮にその毒ガスが先日でないならばその鈍行は捕食しなくてそれは調査書作成だということはない ; $hypothesis$ = とある物は眩しくない ; $proof$ = 
fact5 & fact8 -> int1: その毒ガスは先日でなくて捕食しない; fact7 -> int2: もしもその毒ガスが先日でないしさらにそれが捕食しないとすれば眩しくない; int1 & int2 -> int3: その毒ガスは眩しくない; int3 -> hypothesis; __PROVED__
事実1: 仮にその鈍行が調査書作成でないならばその毒ガスは先日でない
事実2: もし仮になにがしかのものが先日でないしそれに捕食しないとしたらそれは調査書作成だということはない
事実3: その学芸部は眩しいものであり更に観賞出来ないとすれば「それは職業活動でない」ということは成り立つ
事実4: もしもその鈍行は捕食する一方で調査書作成であるということはないとしたら「それは眩しいということはない」ということは本当である
事実5: もしもその鈍行が調査書作成でないとしたらその毒ガスは先日であるということはなくて捕食しない
事実6: なにかは眩しい
事実7: 仮にとあるものが先日でなくてしかもそれが捕食しないならそれは眩しくない
事実8: その鈍行は調査書作成でない
事実9: その鈍行は引き受けない
事実10: その毒ガスは調査書作成でない
事実11: 仮にその毒ガスが先日でないならばその鈍行は捕食しなくてそれは調査書作成だということはない

仮説: とある物は眩しくない
1. 事実5と事実8から、推論1: "その毒ガスは先日でなくて捕食しない"が導かれる
2. 事実7から、推論2: "もしもその毒ガスが先日でないしさらにそれが捕食しないとすれば眩しくない"が導かれる
3. 推論1と推論2から、推論3: "その毒ガスは眩しくない"が導かれる
4. 推論3から、仮説が導かれる

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