この医療ソーシャルワーカーは鳴り渡らない
fact1: 募集中はある fact2: 仮に何らかのものが工業化するということはないとすればそれは楽観するしさらに募集中だということはない fact3: あのワンタンが納得行くならこの圏外は募集中である fact4: この政治原理は工業化するしそれは忙しない fact5: 「「あのワンタンは清いかまたは生え易いかもしくは両方ともである」ということは確かだ」ということは嘘である fact6: この政治原理は楽観する fact7: もし募集中が楽観するとすればあの医療ソーシャルワーカーは鳴り渡る fact8: この政治原理が楽観するならこの圏外は楽観する fact9: あのワンタンは納得行く fact10: とあるものは楽観する fact11: 仮に「あのワンタンは清いかまたはそれは生え易い」ということは成り立たないならば忙しなくない fact12: 仮になにがしかの物は募集中であるということはないとするとそれは鳴り渡るし納得行く fact13: その悪性症候群は楽観する
fact3 & fact9 -> int1: この圏外は募集中である; fact8 & fact6 -> int2: この圏外は楽観する; int1 & int2 -> int3: この圏外は募集中であるししかも楽観する; int3 -> int4: なにがしかのものは募集中であるし加えてそれは楽観する; int4 & fact7 -> hypothesis;
その筒抜けは鳴り渡る
fact15 -> int5: その筒抜けは募集中であるということはないとしたらそれは鳴り渡るしまた納得行く; fact14 -> int6: もし仮にその筒抜けが工業化するということはないとするとそれは楽観するがしかし募集中でない; fact17 & fact16 -> int7: あのワンタンは忙しないということはない; int7 -> int8: 忙しなくないものはある;
$facts$ = fact1: 募集中はある fact2: 仮に何らかのものが工業化するということはないとすればそれは楽観するしさらに募集中だということはない fact3: あのワンタンが納得行くならこの圏外は募集中である fact4: この政治原理は工業化するしそれは忙しない fact5: 「「あのワンタンは清いかまたは生え易いかもしくは両方ともである」ということは確かだ」ということは嘘である fact6: この政治原理は楽観する fact7: もし募集中が楽観するとすればあの医療ソーシャルワーカーは鳴り渡る fact8: この政治原理が楽観するならこの圏外は楽観する fact9: あのワンタンは納得行く fact10: とあるものは楽観する fact11: 仮に「あのワンタンは清いかまたはそれは生え易い」ということは成り立たないならば忙しなくない fact12: 仮になにがしかの物は募集中であるということはないとするとそれは鳴り渡るし納得行く fact13: その悪性症候群は楽観する ; $hypothesis$ = この医療ソーシャルワーカーは鳴り渡らない ; $proof$ = 
fact3 & fact9 -> int1: この圏外は募集中である; fact8 & fact6 -> int2: この圏外は楽観する; int1 & int2 -> int3: この圏外は募集中であるししかも楽観する; int3 -> int4: なにがしかのものは募集中であるし加えてそれは楽観する; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: 募集中はある
事実2: 仮に何らかのものが工業化するということはないとすればそれは楽観するしさらに募集中だということはない
事実3: あのワンタンが納得行くならこの圏外は募集中である
事実4: この政治原理は工業化するしそれは忙しない
事実5: 「「あのワンタンは清いかまたは生え易いかもしくは両方ともである」ということは確かだ」ということは嘘である
事実6: この政治原理は楽観する
事実7: もし募集中が楽観するとすればあの医療ソーシャルワーカーは鳴り渡る
事実8: この政治原理が楽観するならこの圏外は楽観する
事実9: あのワンタンは納得行く
事実10: とあるものは楽観する
事実11: 仮に「あのワンタンは清いかまたはそれは生え易い」ということは成り立たないならば忙しなくない
事実12: 仮になにがしかの物は募集中であるということはないとするとそれは鳴り渡るし納得行く
事実13: その悪性症候群は楽観する

仮説: この医療ソーシャルワーカーは鳴り渡らない
1. 事実3と事実9から、推論1: "この圏外は募集中である"が導かれる
2. 事実8と事実6から、推論2: "この圏外は楽観する"が導かれる
3. 推論1と推論2から、推論3: "この圏外は募集中であるししかも楽観する"が導かれる
4. 推論3から、推論4: "なにがしかのものは募集中であるし加えてそれは楽観する"が導かれる
5. 推論4と事実7から、仮説が否定される

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