その二千四百九十八集落はぎごちない
fact1: 何かは児童福祉専門職である fact2: あのゲーム以外はぎごちなくない fact3: 仮に「とあるものは烏滸がましいが児童福祉専門職でない」ということは間違いであるならそれは烏滸がましかない fact4: あの比較データは児童福祉専門職でない fact5: もしもあるものはぎごちないとすれば「それは烏滸がましいしそれは児童福祉専門職であるということはない」ということは成り立つということはない fact6: 「床しいということはない」ものはある fact7: あの比較データはぎごちないということはない fact8: もし「児童福祉専門職でない」物があるとするとその二千四百九十八集落は掛かり易いということはない fact9: なんらかのものはぎごちないということはない fact10: もしも「児童福祉専門職でない」物はあればその二千四百九十八集落はぎごちなくない fact11: もし「児童福祉専門職でない」物はあるならあの比較データはぎごちなくない
fact4 -> int1: 「児童福祉専門職でない」ものはある; int1 & fact10 -> hypothesis;
その十字軍遠征は烏滸がましいということはない
fact12 -> int2: もし「その十字軍遠征は烏滸がましい一方で児童福祉専門職でない」ということは成り立たないとすると烏滸がましかない; fact13 -> int3: 仮にその十字軍遠征はぎごちないならば「それは烏滸がましいが児童福祉専門職でない」ということは間違いである;
$facts$ = fact1: 何かは児童福祉専門職である fact2: あのゲーム以外はぎごちなくない fact3: 仮に「とあるものは烏滸がましいが児童福祉専門職でない」ということは間違いであるならそれは烏滸がましかない fact4: あの比較データは児童福祉専門職でない fact5: もしもあるものはぎごちないとすれば「それは烏滸がましいしそれは児童福祉専門職であるということはない」ということは成り立つということはない fact6: 「床しいということはない」ものはある fact7: あの比較データはぎごちないということはない fact8: もし「児童福祉専門職でない」物があるとするとその二千四百九十八集落は掛かり易いということはない fact9: なんらかのものはぎごちないということはない fact10: もしも「児童福祉専門職でない」物はあればその二千四百九十八集落はぎごちなくない fact11: もし「児童福祉専門職でない」物はあるならあの比較データはぎごちなくない ; $hypothesis$ = その二千四百九十八集落はぎごちない ; $proof$ = 
fact4 -> int1: 「児童福祉専門職でない」ものはある; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: 何かは児童福祉専門職である
事実2: あのゲーム以外はぎごちなくない
事実3: 仮に「とあるものは烏滸がましいが児童福祉専門職でない」ということは間違いであるならそれは烏滸がましかない
事実4: あの比較データは児童福祉専門職でない
事実5: もしもあるものはぎごちないとすれば「それは烏滸がましいしそれは児童福祉専門職であるということはない」ということは成り立つということはない
事実6: 「床しいということはない」ものはある
事実7: あの比較データはぎごちないということはない
事実8: もし「児童福祉専門職でない」物があるとするとその二千四百九十八集落は掛かり易いということはない
事実9: なんらかのものはぎごちないということはない
事実10: もしも「児童福祉専門職でない」物はあればその二千四百九十八集落はぎごちなくない
事実11: もし「児童福祉専門職でない」物はあるならあの比較データはぎごちなくない

仮説: その二千四百九十八集落はぎごちない
1. 事実4から、推論1: "「児童福祉専門職でない」ものはある"が導かれる
2. 推論1と事実10から、仮説が否定される

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