あの公営選挙は傷付け合うということはなくて介護休業制度でない
fact1: この一坪半は薄っぺらい fact2: あの視察研修は介護休業制度でないなら「あの公営選挙は傷付け合わないけど介護休業制度だ」ということは間違いである fact3: 仮にあの視察研修は介護休業制度でないとすると「あの公営選挙は傷付け合うということはなくてしかも介護休業制度であるということはない」ということは間違いである fact4: あの視察研修は凝り固まる fact5: 「あの公営選挙は傷付け合うということはないけど介護休業制度である」ということは間違いだ fact6: その樽屋は介護休業制度だ fact7: 「その樽屋は先読みであるし行き易い」ということは偽だとしたらこの一坪半は薄っぺらくない fact8: 仮にあの視察研修がＥＵ市民であるならばあの不具合は先読みでない fact9: 仮にあの視察研修は介護休業制度でないとすれば「「あの公営選挙は傷付け合うけど介護休業制度でない」ということは成り立つということはない」ということは事実である fact10: もし仮に「その樽屋は行き易くない」ということは本当であるなら「この一坪半は薄っぺらくない」ということは誤っていない fact11: もしも「あの視察研修は初々しかないかあるいはＥＵ市民である」ということは成り立たないとしたら介護休業制度でない fact12: 「あの公営選挙は傷付け合うがしかし介護休業制度でない」ということは事実でない fact13: 仮にあの公営選挙が介護休業制度でないかもしくはそれが初々しいかどちらもであるとすればあの視察研修は傷付け合わない fact14: あの視察研修はＥＵ市民でない fact15: もし仮に「あの視察研修は傷付け合わない」ということは確かだとすると「「あの公営選挙はＥＵ市民でないしまた傷付け合わない」ということは成り立たない」ということは成り立つ fact16: もしあの不具合は先読みでないとすると「その樽屋は先読みであるし行き易い」ということは成り立たない fact17: あの視察研修が初々しかないかあるいはＥＵ市民であるかもしくはどちらもだとしたらあの不具合は先読みでない
void -> assump1: 以下のように仮定する。あの視察研修は初々しかないかまたはＥＵ市民であるかもしくはどちらもである; fact17 & assump1 -> int1: あの不具合は先読みでない; int1 & fact16 -> int2: 「その樽屋は先読みであるしその上行き易い」ということは確かでない; int2 & fact7 -> int3: この一坪半は薄っぺらくない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの視察研修は初々しかないかＥＵ市民であるか両方ともである」ということは嘘である; int5 & fact11 -> int6: あの視察研修は介護休業制度でない; int6 & fact3 -> hypothesis;
$facts$ = fact1: この一坪半は薄っぺらい fact2: あの視察研修は介護休業制度でないなら「あの公営選挙は傷付け合わないけど介護休業制度だ」ということは間違いである fact3: 仮にあの視察研修は介護休業制度でないとすると「あの公営選挙は傷付け合うということはなくてしかも介護休業制度であるということはない」ということは間違いである fact4: あの視察研修は凝り固まる fact5: 「あの公営選挙は傷付け合うということはないけど介護休業制度である」ということは間違いだ fact6: その樽屋は介護休業制度だ fact7: 「その樽屋は先読みであるし行き易い」ということは偽だとしたらこの一坪半は薄っぺらくない fact8: 仮にあの視察研修がＥＵ市民であるならばあの不具合は先読みでない fact9: 仮にあの視察研修は介護休業制度でないとすれば「「あの公営選挙は傷付け合うけど介護休業制度でない」ということは成り立つということはない」ということは事実である fact10: もし仮に「その樽屋は行き易くない」ということは本当であるなら「この一坪半は薄っぺらくない」ということは誤っていない fact11: もしも「あの視察研修は初々しかないかあるいはＥＵ市民である」ということは成り立たないとしたら介護休業制度でない fact12: 「あの公営選挙は傷付け合うがしかし介護休業制度でない」ということは事実でない fact13: 仮にあの公営選挙が介護休業制度でないかもしくはそれが初々しいかどちらもであるとすればあの視察研修は傷付け合わない fact14: あの視察研修はＥＵ市民でない fact15: もし仮に「あの視察研修は傷付け合わない」ということは確かだとすると「「あの公営選挙はＥＵ市民でないしまた傷付け合わない」ということは成り立たない」ということは成り立つ fact16: もしあの不具合は先読みでないとすると「その樽屋は先読みであるし行き易い」ということは成り立たない fact17: あの視察研修が初々しかないかあるいはＥＵ市民であるかもしくはどちらもだとしたらあの不具合は先読みでない ; $hypothesis$ = あの公営選挙は傷付け合うということはなくて介護休業制度でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの視察研修は初々しかないかまたはＥＵ市民であるかもしくはどちらもである; fact17 & assump1 -> int1: あの不具合は先読みでない; int1 & fact16 -> int2: 「その樽屋は先読みであるしその上行き易い」ということは確かでない; int2 & fact7 -> int3: この一坪半は薄っぺらくない; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「あの視察研修は初々しかないかＥＵ市民であるか両方ともである」ということは嘘である; int5 & fact11 -> int6: あの視察研修は介護休業制度でない; int6 & fact3 -> hypothesis; __DISPROVED__
事実1: この一坪半は薄っぺらい
事実2: あの視察研修は介護休業制度でないなら「あの公営選挙は傷付け合わないけど介護休業制度だ」ということは間違いである
事実3: 仮にあの視察研修は介護休業制度でないとすると「あの公営選挙は傷付け合うということはなくてしかも介護休業制度であるということはない」ということは間違いである
事実4: あの視察研修は凝り固まる
事実5: 「あの公営選挙は傷付け合うということはないけど介護休業制度である」ということは間違いだ
事実6: その樽屋は介護休業制度だ
事実7: 「その樽屋は先読みであるし行き易い」ということは偽だとしたらこの一坪半は薄っぺらくない
事実8: 仮にあの視察研修がＥＵ市民であるならばあの不具合は先読みでない
事実9: 仮にあの視察研修は介護休業制度でないとすれば「「あの公営選挙は傷付け合うけど介護休業制度でない」ということは成り立つということはない」ということは事実である
事実10: もし仮に「その樽屋は行き易くない」ということは本当であるなら「この一坪半は薄っぺらくない」ということは誤っていない
事実11: もしも「あの視察研修は初々しかないかあるいはＥＵ市民である」ということは成り立たないとしたら介護休業制度でない
事実12: 「あの公営選挙は傷付け合うがしかし介護休業制度でない」ということは事実でない
事実13: 仮にあの公営選挙が介護休業制度でないかもしくはそれが初々しいかどちらもであるとすればあの視察研修は傷付け合わない
事実14: あの視察研修はＥＵ市民でない
事実15: もし仮に「あの視察研修は傷付け合わない」ということは確かだとすると「「あの公営選挙はＥＵ市民でないしまた傷付け合わない」ということは成り立たない」ということは成り立つ
事実16: もしあの不具合は先読みでないとすると「その樽屋は先読みであるし行き易い」ということは成り立たない
事実17: あの視察研修が初々しかないかあるいはＥＵ市民であるかもしくはどちらもだとしたらあの不具合は先読みでない

仮説: あの公営選挙は傷付け合うということはなくて介護休業制度でない
1. 仮定1: 以下のように仮定する。あの視察研修は初々しかないかまたはＥＵ市民であるかもしくはどちらもである
2. 事実17と仮定1から、推論1: "あの不具合は先読みでない"が導かれる
3. 推論1と事実16から、推論2: "「その樽屋は先読みであるしその上行き易い」ということは確かでない"が導かれる
4. 推論2と事実7から、推論3: "この一坪半は薄っぺらくない"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「あの視察研修は初々しかないかＥＵ市民であるか両方ともである」ということは嘘である"が導かれる
7. 推論5と事実11から、推論6: "あの視察研修は介護休業制度でない"が導かれる
8. 推論6と事実3から、仮説が否定される

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