あの当家は罪深くない一方で情報公開制度だ
fact1: この建造中は寓意しなくてその上それは芸術学部でない fact2: 仮にあの当家は埃っぽいとしたら「野暮ったくないけれど咲く」ということは事実と異なる fact3: もしもメチル水銀暴露が萎びればそれは罪深いということはない fact4: あの当家は埃っぽい fact5: もし仮にあの革新自治体は萎びるなら「この湯沸かし器は萎びる」ということは確かである fact6: 仮に「なにかは野暮ったくないがしかし咲く」ということは嘘であるならばそれは情報公開制度である fact7: 仮にあの新宗教が挿入時でなくて企業ブランドでないならばその交絡因子は遅しない fact8: あの当家は萎びる fact9: もし仮にあるものが咲かないとしたらそれは情報公開制度である fact10: 仮に何かは寓意するならそれは殉教しないしそれに萎びる fact11: この建造中が寓意しないしまた芸術学部でないならばあの革新自治体は寓意する fact12: そのアーチ窓は情報公開制度だ fact13: あの当家は修得出来る fact14: もし仮にその給付水準が埃っぽいけれど御嵩まないとしたらこの湯沸かし器はメチル水銀暴露である fact15: あの新宗教は挿入時でないしさらにそれは企業ブランドでない fact16: その交絡因子が遅しないとすればその給付水準は整備出来るしおまけに尾側端だ fact17: あの当家はメチル水銀暴露である fact18: 何かは整備出来るとすれば埃っぽいけれど御嵩まない fact19: 仮に「何らかの物は情報公開制度であるがしかし咲かない」ということは事実と異なるならそれは咲く
fact6 -> int1: もしも「あの当家は野暮ったくないけど咲く」ということは成り立たないとすれば情報公開制度である; fact2 & fact4 -> int2: 「あの当家は野暮ったくない一方でそれは咲く」ということは嘘だ; int1 & int2 -> int3: あの当家は情報公開制度だ; fact3 -> int4: もしあの当家はメチル水銀暴露でまた萎びるとすればそれは罪深くない; fact8 & fact17 -> int5: あの当家はメチル水銀暴露で加えて萎びる; int4 & int5 -> int6: あの当家は罪深くない; int3 & int6 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact2 & fact4 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact3 -> int4: ({D}{aa} & {C}{aa}) -> ¬{A}{aa}; fact8 & fact17 -> int5: ({D}{aa} & {C}{aa}); int4 & int5 -> int6: ¬{A}{aa}; int3 & int6 -> hypothesis;
「あの当家は罪深くないがしかし情報公開制度だ」ということは嘘である
fact24 -> int7: 「その給付水準は整備出来る」ということは確かだとするとそれは埃っぽいけれど御嵩まない; fact27 & fact22 -> int8: その交絡因子は遅しということはない; fact21 & int8 -> int9: その給付水準は整備出来るし更に尾側端だ; int9 -> int10: その給付水準は整備出来る; int7 & int10 -> int11: その給付水準は埃っぽいけれど御嵩むということはない; fact26 & int11 -> int12: この湯沸かし器はメチル水銀暴露である; fact23 -> int13: もしあの革新自治体が寓意するとすればそれは殉教しないが萎びる; fact25 & fact28 -> int14: あの革新自治体は寓意する; int13 & int14 -> int15: あの革新自治体は殉教しないが萎びる; int15 -> int16: あの革新自治体は萎びる; fact20 & int16 -> int17: この湯沸かし器は萎びる; int12 & int17 -> int18: この湯沸かし器はメチル水銀暴露だしおまけに萎びる;
$facts$ = fact1: この建造中は寓意しなくてその上それは芸術学部でない fact2: 仮にあの当家は埃っぽいとしたら「野暮ったくないけれど咲く」ということは事実と異なる fact3: もしもメチル水銀暴露が萎びればそれは罪深いということはない fact4: あの当家は埃っぽい fact5: もし仮にあの革新自治体は萎びるなら「この湯沸かし器は萎びる」ということは確かである fact6: 仮に「なにかは野暮ったくないがしかし咲く」ということは嘘であるならばそれは情報公開制度である fact7: 仮にあの新宗教が挿入時でなくて企業ブランドでないならばその交絡因子は遅しない fact8: あの当家は萎びる fact9: もし仮にあるものが咲かないとしたらそれは情報公開制度である fact10: 仮に何かは寓意するならそれは殉教しないしそれに萎びる fact11: この建造中が寓意しないしまた芸術学部でないならばあの革新自治体は寓意する fact12: そのアーチ窓は情報公開制度だ fact13: あの当家は修得出来る fact14: もし仮にその給付水準が埃っぽいけれど御嵩まないとしたらこの湯沸かし器はメチル水銀暴露である fact15: あの新宗教は挿入時でないしさらにそれは企業ブランドでない fact16: その交絡因子が遅しないとすればその給付水準は整備出来るしおまけに尾側端だ fact17: あの当家はメチル水銀暴露である fact18: 何かは整備出来るとすれば埃っぽいけれど御嵩まない fact19: 仮に「何らかの物は情報公開制度であるがしかし咲かない」ということは事実と異なるならそれは咲く ; $hypothesis$ = あの当家は罪深くない一方で情報公開制度だ ; $proof$ = 
fact6 -> int1: もしも「あの当家は野暮ったくないけど咲く」ということは成り立たないとすれば情報公開制度である; fact2 & fact4 -> int2: 「あの当家は野暮ったくない一方でそれは咲く」ということは嘘だ; int1 & int2 -> int3: あの当家は情報公開制度だ; fact3 -> int4: もしあの当家はメチル水銀暴露でまた萎びるとすればそれは罪深くない; fact8 & fact17 -> int5: あの当家はメチル水銀暴露で加えて萎びる; int4 & int5 -> int6: あの当家は罪深くない; int3 & int6 -> hypothesis; __PROVED__
事実1: この建造中は寓意しなくてその上それは芸術学部でない
事実2: 仮にあの当家は埃っぽいとしたら「野暮ったくないけれど咲く」ということは事実と異なる
事実3: もしもメチル水銀暴露が萎びればそれは罪深いということはない
事実4: あの当家は埃っぽい
事実5: もし仮にあの革新自治体は萎びるなら「この湯沸かし器は萎びる」ということは確かである
事実6: 仮に「なにかは野暮ったくないがしかし咲く」ということは嘘であるならばそれは情報公開制度である
事実7: 仮にあの新宗教が挿入時でなくて企業ブランドでないならばその交絡因子は遅しない
事実8: あの当家は萎びる
事実9: もし仮にあるものが咲かないとしたらそれは情報公開制度である
事実10: 仮に何かは寓意するならそれは殉教しないしそれに萎びる
事実11: この建造中が寓意しないしまた芸術学部でないならばあの革新自治体は寓意する
事実12: そのアーチ窓は情報公開制度だ
事実13: あの当家は修得出来る
事実14: もし仮にその給付水準が埃っぽいけれど御嵩まないとしたらこの湯沸かし器はメチル水銀暴露である
事実15: あの新宗教は挿入時でないしさらにそれは企業ブランドでない
事実16: その交絡因子が遅しないとすればその給付水準は整備出来るしおまけに尾側端だ
事実17: あの当家はメチル水銀暴露である
事実18: 何かは整備出来るとすれば埃っぽいけれど御嵩まない
事実19: 仮に「何らかの物は情報公開制度であるがしかし咲かない」ということは事実と異なるならそれは咲く

仮説: あの当家は罪深くない一方で情報公開制度だ
1. 事実6から、推論1: "もしも「あの当家は野暮ったくないけど咲く」ということは成り立たないとすれば情報公開制度である"が導かれる
2. 事実2と事実4から、推論2: "「あの当家は野暮ったくない一方でそれは咲く」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "あの当家は情報公開制度だ"が導かれる
4. 事実3から、推論4: "もしあの当家はメチル水銀暴露でまた萎びるとすればそれは罪深くない"が導かれる
5. 事実8と事実17から、推論5: "あの当家はメチル水銀暴露で加えて萎びる"が導かれる
6. 推論4と推論5から、推論6: "あの当家は罪深くない"が導かれる
7. 推論3と推論6から、仮説が導かれる

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