あの雑学はめでたし
fact1: もしもその大技がめでたしならあの雑学はめでたし fact2: もしもとある物は財務安全性分析でないとしたら「「それは見易くないし加えてそれは空咳である」ということは確かである」ということは誤っている fact3: もし仮に「あの雑学は薬歴管理だ」ということは正しいならそれは遣り出さないけれど見易い fact4: あのＣＲＨはイメージし易くて仄聞する fact5: もし子供っぽいということはない物が小汚いとすると薬歴管理でない fact6: あの口コミはメソジスト派でない一方でそれはしつこい fact7: あの雑学は空咳である fact8: このピーナッツバターが薬歴管理でないとすればその大技はめでたししかつそれは簡裁代理権である fact9: もし「何らかのものは見易くないが空咳である」ということは嘘であるとしたらそれは見易い fact10: もしも何らかのものは見易いなら「それは遣り出さないし薬歴管理だということはない」ということは間違っている fact11: もし仮にその藩邸は浪岡城であるとすればめでたし fact12: あの雑学は思い遣れないが話し掛ける fact13: 仮にあの雑学が簡裁代理権だとしたらそれは特筆する fact14: あの雑学はトラバースするとしたら「反面である」ということは成り立つ fact15: もし仮に「その初誕生日は遣り出さないし薬歴管理だということはない」ということは成り立たないとすればこのピーナッツバターは薬歴管理でない fact16: もし仮にあの雑学が簡裁代理権ならばそれは薬歴管理である fact17: もし仮にあの雑学が薬歴管理だとしたらそれは見易い fact18: もし仮にあの雑学はめでたしとすると「それは簡裁代理権だ」ということは事実だ fact19: あの雑学は剥がれ落ちない fact20: その上場時価総額は見易くないけど発現する fact21: あの雑学は見易い fact22: もし仮にあの雑学は遣り出さないがしかし見易いなら空咳でない fact23: あの雑学は冷え易くない
void -> assump1: 以下のように仮定する。あの雑学はめでたし; fact18 & assump1 -> int1: あの雑学は簡裁代理権である; int1 & fact16 -> int2: あの雑学は薬歴管理である; int2 & fact3 -> int3: あの雑学は遣り出さないけれどそれは見易い; int3 & fact22 -> int4: あの雑学は空咳でない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis;
あの雑学はめでたし
fact25 -> int6: もし仮にその初誕生日は見易いなら「それは遣り出さないしおまけに薬歴管理でない」ということは成り立たない; fact29 -> int7: もし「その初誕生日は見易くないけれどそれは空咳だ」ということは誤っていればそれは見易い; fact24 -> int8: その初誕生日は財務安全性分析でないとすると「それは見易くないし更に空咳だ」ということは本当でない; fact28 -> int9: あのＣＲＨはイメージし易い; int9 -> int10: 「イメージし易い」物はある;
$facts$ = fact1: もしもその大技がめでたしならあの雑学はめでたし fact2: もしもとある物は財務安全性分析でないとしたら「「それは見易くないし加えてそれは空咳である」ということは確かである」ということは誤っている fact3: もし仮に「あの雑学は薬歴管理だ」ということは正しいならそれは遣り出さないけれど見易い fact4: あのＣＲＨはイメージし易くて仄聞する fact5: もし子供っぽいということはない物が小汚いとすると薬歴管理でない fact6: あの口コミはメソジスト派でない一方でそれはしつこい fact7: あの雑学は空咳である fact8: このピーナッツバターが薬歴管理でないとすればその大技はめでたししかつそれは簡裁代理権である fact9: もし「何らかのものは見易くないが空咳である」ということは嘘であるとしたらそれは見易い fact10: もしも何らかのものは見易いなら「それは遣り出さないし薬歴管理だということはない」ということは間違っている fact11: もし仮にその藩邸は浪岡城であるとすればめでたし fact12: あの雑学は思い遣れないが話し掛ける fact13: 仮にあの雑学が簡裁代理権だとしたらそれは特筆する fact14: あの雑学はトラバースするとしたら「反面である」ということは成り立つ fact15: もし仮に「その初誕生日は遣り出さないし薬歴管理だということはない」ということは成り立たないとすればこのピーナッツバターは薬歴管理でない fact16: もし仮にあの雑学が簡裁代理権ならばそれは薬歴管理である fact17: もし仮にあの雑学が薬歴管理だとしたらそれは見易い fact18: もし仮にあの雑学はめでたしとすると「それは簡裁代理権だ」ということは事実だ fact19: あの雑学は剥がれ落ちない fact20: その上場時価総額は見易くないけど発現する fact21: あの雑学は見易い fact22: もし仮にあの雑学は遣り出さないがしかし見易いなら空咳でない fact23: あの雑学は冷え易くない ; $hypothesis$ = あの雑学はめでたし ; $proof$ = 
void -> assump1: 以下のように仮定する。あの雑学はめでたし; fact18 & assump1 -> int1: あの雑学は簡裁代理権である; int1 & fact16 -> int2: あの雑学は薬歴管理である; int2 & fact3 -> int3: あの雑学は遣り出さないけれどそれは見易い; int3 & fact22 -> int4: あの雑学は空咳でない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> hypothesis; __DISPROVED__
事実1: もしもその大技がめでたしならあの雑学はめでたし
事実2: もしもとある物は財務安全性分析でないとしたら「「それは見易くないし加えてそれは空咳である」ということは確かである」ということは誤っている
事実3: もし仮に「あの雑学は薬歴管理だ」ということは正しいならそれは遣り出さないけれど見易い
事実4: あのＣＲＨはイメージし易くて仄聞する
事実5: もし子供っぽいということはない物が小汚いとすると薬歴管理でない
事実6: あの口コミはメソジスト派でない一方でそれはしつこい
事実7: あの雑学は空咳である
事実8: このピーナッツバターが薬歴管理でないとすればその大技はめでたししかつそれは簡裁代理権である
事実9: もし「何らかのものは見易くないが空咳である」ということは嘘であるとしたらそれは見易い
事実10: もしも何らかのものは見易いなら「それは遣り出さないし薬歴管理だということはない」ということは間違っている
事実11: もし仮にその藩邸は浪岡城であるとすればめでたし
事実12: あの雑学は思い遣れないが話し掛ける
事実13: 仮にあの雑学が簡裁代理権だとしたらそれは特筆する
事実14: あの雑学はトラバースするとしたら「反面である」ということは成り立つ
事実15: もし仮に「その初誕生日は遣り出さないし薬歴管理だということはない」ということは成り立たないとすればこのピーナッツバターは薬歴管理でない
事実16: もし仮にあの雑学が簡裁代理権ならばそれは薬歴管理である
事実17: もし仮にあの雑学が薬歴管理だとしたらそれは見易い
事実18: もし仮にあの雑学はめでたしとすると「それは簡裁代理権だ」ということは事実だ
事実19: あの雑学は剥がれ落ちない
事実20: その上場時価総額は見易くないけど発現する
事実21: あの雑学は見易い
事実22: もし仮にあの雑学は遣り出さないがしかし見易いなら空咳でない
事実23: あの雑学は冷え易くない

仮説: あの雑学はめでたし
1. 仮定1: 以下のように仮定する。あの雑学はめでたし
2. 事実18と仮定1から、推論1: "あの雑学は簡裁代理権である"が導かれる
3. 推論1と事実16から、推論2: "あの雑学は薬歴管理である"が導かれる
4. 推論2と事実3から、推論3: "あの雑学は遣り出さないけれどそれは見易い"が導かれる
5. 推論3と事実22から、推論4: "あの雑学は空咳でない"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、仮説が否定される

よって、仮説が否定されました。