この鋳物職人は含み得るということはない
fact1: もしもこの鋳物職人が広いということはないとすればこのセル毎は思わしいということはない fact2: もし何らかのものが小型化するなら貧乏する fact3: 「「ホステス等だしさらに上っ面だ」ということは成り立たない」物があるとするとあの遊部は小型化する fact4: 仮にこの鋳物職人が歩き易いということはないとすればこのセル毎は思わしくない fact5: この鋳物職人は含み得るしそれは思わしい fact6: あらゆる物は忌ま忌ましかない fact7: この鋳物職人は思わしい fact8: もしも「「貧乏しない」ということは成り立たない」物があるとしたらこの鋳物職人は歩き易くないかあるいは広くないか両方である fact9: もし「あの遊部は含み得ない」ということは成り立つとすればこの鋳物職人は含み得ない fact10: もしもあるものは忌ま忌ましかないならば「ホステス等だし加えて上っ面だ」ということは間違いである fact11: もし仮にその開催日が標準貫入試験でないならあの遊部は含み得ないけれど思わしい
fact5 -> hypothesis;
fact5 -> hypothesis;
このセル毎は含み得る
fact13 -> int1: あの遊部が小型化すれば貧乏する; fact17 -> int2: この保存用は忌ま忌ましかないとしたら「ホステス等であるしかつ上っ面である」ということは事実でない; fact15 -> int3: この保存用は忌ま忌ましかない; int2 & int3 -> int4: 「この保存用はホステス等であるしさらに上っ面だ」ということは偽だ; int4 -> int5: ホステス等であるし加えてそれは上っ面であるというものはない; int5 -> int6: 「その開催日はホステス等だし上っ面だ」ということは嘘だ; int6 -> int7: 「「ホステス等であるしおまけに上っ面である」ということは嘘な」ものはある; fact16 & int7 -> int8: あの遊部は小型化する; int1 & int8 -> int9: あの遊部は貧乏する; int9 -> int10: なにかは貧乏する; fact18 & int10 -> int11: この鋳物職人は歩き易くないかあるいは広くないか両方ともである; fact12 & fact14 & int11 -> int12: このセル毎は思わしいということはない; int12 -> int13: このセル毎は思わしくないかまたはそれは標準貫入試験でないかもしくは両方ともである;
$facts$ = fact1: もしもこの鋳物職人が広いということはないとすればこのセル毎は思わしいということはない fact2: もし何らかのものが小型化するなら貧乏する fact3: 「「ホステス等だしさらに上っ面だ」ということは成り立たない」物があるとするとあの遊部は小型化する fact4: 仮にこの鋳物職人が歩き易いということはないとすればこのセル毎は思わしくない fact5: この鋳物職人は含み得るしそれは思わしい fact6: あらゆる物は忌ま忌ましかない fact7: この鋳物職人は思わしい fact8: もしも「「貧乏しない」ということは成り立たない」物があるとしたらこの鋳物職人は歩き易くないかあるいは広くないか両方である fact9: もし「あの遊部は含み得ない」ということは成り立つとすればこの鋳物職人は含み得ない fact10: もしもあるものは忌ま忌ましかないならば「ホステス等だし加えて上っ面だ」ということは間違いである fact11: もし仮にその開催日が標準貫入試験でないならあの遊部は含み得ないけれど思わしい ; $hypothesis$ = この鋳物職人は含み得るということはない ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もしもこの鋳物職人が広いということはないとすればこのセル毎は思わしいということはない
事実2: もし何らかのものが小型化するなら貧乏する
事実3: 「「ホステス等だしさらに上っ面だ」ということは成り立たない」物があるとするとあの遊部は小型化する
事実4: 仮にこの鋳物職人が歩き易いということはないとすればこのセル毎は思わしくない
事実5: この鋳物職人は含み得るしそれは思わしい
事実6: あらゆる物は忌ま忌ましかない
事実7: この鋳物職人は思わしい
事実8: もしも「「貧乏しない」ということは成り立たない」物があるとしたらこの鋳物職人は歩き易くないかあるいは広くないか両方である
事実9: もし「あの遊部は含み得ない」ということは成り立つとすればこの鋳物職人は含み得ない
事実10: もしもあるものは忌ま忌ましかないならば「ホステス等だし加えて上っ面だ」ということは間違いである
事実11: もし仮にその開催日が標準貫入試験でないならあの遊部は含み得ないけれど思わしい

仮説: この鋳物職人は含み得るということはない
1. 事実5から、仮説が否定される

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