この社員名簿はいみじない
fact1: もし仮に「この社員名簿は歩き易くないが住まわす」ということは成り立たないならばあの町史は御聞き及ばない fact2: もしあの町史は歩き易いとすれば「それは御聞き及ぶかそれは回りくどくない」ということは間違っている fact3: 仮に「その抵抗反応は回りくどくないが御聞き及ぶ」ということは間違っているとしたらこの社員名簿は歩き易くない fact4: あの町史が固しないなら住まわす fact5: なんらかの物は回りくどくないとすると「それは住まわさなくてその上それは御聞き及ぶということはない」ということは本当でない fact6: 仮にあの共済契約締結が固しならあの町史は住まわす fact7: 仮にあの共済契約締結が正中だとするとそれは固し fact8: 「この社員名簿は回りくどいしおまけにいみじ」ということは間違いだ fact9: その第一学年は固し fact10: あの町史は回りくどい fact11: もし仮にこの社員名簿が歩き易くないとするといみじ fact12: もしもある物は住まわすなら「「正中でなくてそれは固しない」ということは成り立つ」ということは偽だ fact13: その東洋学は回りくどい fact14: もしもその抵抗反応が住まわすとすればあの町史は回りくどい fact15: 「この社員名簿は固しないけどいみじ」ということは真実でない fact16: 「「なんらかのものは住まわさなくてそれは御聞き及ばない」ということは事実でないとすれば住まわす」ということは事実である fact17: 「もしもあの町史が到着出来るけどそれは歩き易くないならば「あの共済契約締結は回りくどいということはない」ということは正しい」ということは事実である fact18: 「その抵抗反応は際限無いということはない」ということは嘘でない fact19: もし仮にこの社員名簿が固しとしたらあの共済契約締結はいみじ fact20: もしもあの町史は住まわすとすると「その抵抗反応は回りくどくない一方で御聞き及ぶ」ということは誤りだ fact21: あの共済契約締結は正中だ
fact7 & fact21 -> int1: あの共済契約締結は固し; int1 & fact6 -> int2: あの町史は住まわす; int2 & fact20 -> int3: 「その抵抗反応は回りくどくないが御聞き及ぶ」ということは成り立つということはない; int3 & fact3 -> int4: この社員名簿は歩き易いということはない; int4 & fact11 -> hypothesis;
この社員名簿はいみじない
fact25 -> int5: もし仮に「あの共済契約締結は住まわす」ということは成り立つとしたら「それは正中であるということはなくて固しということはない」ということは事実と異なる; fact26 -> int6: もし「「あの共済契約締結は住まわさないしそれは御聞き及ばない」ということは偽である」ということは成り立つとすると住まわす; fact23 -> int7: もしあの共済契約締結は回りくどくないならば「それは住まわすということはないしかつ御聞き及ばない」ということは成り立たない; fact24 -> int8: 「「際限無くない」ということは偽でない」物はある;
$facts$ = fact1: もし仮に「この社員名簿は歩き易くないが住まわす」ということは成り立たないならばあの町史は御聞き及ばない fact2: もしあの町史は歩き易いとすれば「それは御聞き及ぶかそれは回りくどくない」ということは間違っている fact3: 仮に「その抵抗反応は回りくどくないが御聞き及ぶ」ということは間違っているとしたらこの社員名簿は歩き易くない fact4: あの町史が固しないなら住まわす fact5: なんらかの物は回りくどくないとすると「それは住まわさなくてその上それは御聞き及ぶということはない」ということは本当でない fact6: 仮にあの共済契約締結が固しならあの町史は住まわす fact7: 仮にあの共済契約締結が正中だとするとそれは固し fact8: 「この社員名簿は回りくどいしおまけにいみじ」ということは間違いだ fact9: その第一学年は固し fact10: あの町史は回りくどい fact11: もし仮にこの社員名簿が歩き易くないとするといみじ fact12: もしもある物は住まわすなら「「正中でなくてそれは固しない」ということは成り立つ」ということは偽だ fact13: その東洋学は回りくどい fact14: もしもその抵抗反応が住まわすとすればあの町史は回りくどい fact15: 「この社員名簿は固しないけどいみじ」ということは真実でない fact16: 「「なんらかのものは住まわさなくてそれは御聞き及ばない」ということは事実でないとすれば住まわす」ということは事実である fact17: 「もしもあの町史が到着出来るけどそれは歩き易くないならば「あの共済契約締結は回りくどいということはない」ということは正しい」ということは事実である fact18: 「その抵抗反応は際限無いということはない」ということは嘘でない fact19: もし仮にこの社員名簿が固しとしたらあの共済契約締結はいみじ fact20: もしもあの町史は住まわすとすると「その抵抗反応は回りくどくない一方で御聞き及ぶ」ということは誤りだ fact21: あの共済契約締結は正中だ ; $hypothesis$ = この社員名簿はいみじない ; $proof$ = 
fact7 & fact21 -> int1: あの共済契約締結は固し; int1 & fact6 -> int2: あの町史は住まわす; int2 & fact20 -> int3: 「その抵抗反応は回りくどくないが御聞き及ぶ」ということは成り立つということはない; int3 & fact3 -> int4: この社員名簿は歩き易いということはない; int4 & fact11 -> hypothesis; __DISPROVED__
事実1: もし仮に「この社員名簿は歩き易くないが住まわす」ということは成り立たないならばあの町史は御聞き及ばない
事実2: もしあの町史は歩き易いとすれば「それは御聞き及ぶかそれは回りくどくない」ということは間違っている
事実3: 仮に「その抵抗反応は回りくどくないが御聞き及ぶ」ということは間違っているとしたらこの社員名簿は歩き易くない
事実4: あの町史が固しないなら住まわす
事実5: なんらかの物は回りくどくないとすると「それは住まわさなくてその上それは御聞き及ぶということはない」ということは本当でない
事実6: 仮にあの共済契約締結が固しならあの町史は住まわす
事実7: 仮にあの共済契約締結が正中だとするとそれは固し
事実8: 「この社員名簿は回りくどいしおまけにいみじ」ということは間違いだ
事実9: その第一学年は固し
事実10: あの町史は回りくどい
事実11: もし仮にこの社員名簿が歩き易くないとするといみじ
事実12: もしもある物は住まわすなら「「正中でなくてそれは固しない」ということは成り立つ」ということは偽だ
事実13: その東洋学は回りくどい
事実14: もしもその抵抗反応が住まわすとすればあの町史は回りくどい
事実15: 「この社員名簿は固しないけどいみじ」ということは真実でない
事実16: 「「なんらかのものは住まわさなくてそれは御聞き及ばない」ということは事実でないとすれば住まわす」ということは事実である
事実17: 「もしもあの町史が到着出来るけどそれは歩き易くないならば「あの共済契約締結は回りくどいということはない」ということは正しい」ということは事実である
事実18: 「その抵抗反応は際限無いということはない」ということは嘘でない
事実19: もし仮にこの社員名簿が固しとしたらあの共済契約締結はいみじ
事実20: もしもあの町史は住まわすとすると「その抵抗反応は回りくどくない一方で御聞き及ぶ」ということは誤りだ
事実21: あの共済契約締結は正中だ

仮説: この社員名簿はいみじない
1. 事実7と事実21から、推論1: "あの共済契約締結は固し"が導かれる
2. 推論1と事実6から、推論2: "あの町史は住まわす"が導かれる
3. 推論2と事実20から、推論3: "「その抵抗反応は回りくどくないが御聞き及ぶ」ということは成り立つということはない"が導かれる
4. 推論3と事実3から、推論4: "この社員名簿は歩き易いということはない"が導かれる
5. 推論4と事実11から、仮説が否定される

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