「その関連資料は太過ぎるということはない」ということは成り立つ
fact1: あの第三世代は白けない fact2: 「あの第三世代は白けない」ということは成り立つならその関連資料は惑わない fact3: もし仮に「この平等社会はしかつめらしくないけどそれは難し過ぎる」ということは間違っているとしたらそのフィールドは就職しない fact4: その関連資料は惑わない fact5: 仮にその関連資料が白けないとすればあの第三世代は太過ぎる一方で惑うということはない fact6: 「あの第三世代はこかさない」ということは本当だとしたらその関連資料は太過ぎないけれど白ける fact7: 「あの第三世代は白けるということはない」ということは成り立つとしたらその関連資料は太過ぎるけれど惑わない fact8: 仮になにがしかのものは就職するなら「白けるしまたそれはこかすということはない」ということは成り立たない fact9: そのフィールドが就職しないとしたらあの第三世代はこかさない
fact7 & fact1 -> int1: その関連資料は太過ぎるけれど惑わない; int1 -> hypothesis;
fact7 & fact1 -> int1: ({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
あの第三世代は太過ぎる
fact10 -> int2: もしその関連資料は就職するとしたら「それは白ける一方でこかさない」ということは誤りだ;
$facts$ = fact1: あの第三世代は白けない fact2: 「あの第三世代は白けない」ということは成り立つならその関連資料は惑わない fact3: もし仮に「この平等社会はしかつめらしくないけどそれは難し過ぎる」ということは間違っているとしたらそのフィールドは就職しない fact4: その関連資料は惑わない fact5: 仮にその関連資料が白けないとすればあの第三世代は太過ぎる一方で惑うということはない fact6: 「あの第三世代はこかさない」ということは本当だとしたらその関連資料は太過ぎないけれど白ける fact7: 「あの第三世代は白けるということはない」ということは成り立つとしたらその関連資料は太過ぎるけれど惑わない fact8: 仮になにがしかのものは就職するなら「白けるしまたそれはこかすということはない」ということは成り立たない fact9: そのフィールドが就職しないとしたらあの第三世代はこかさない ; $hypothesis$ = 「その関連資料は太過ぎるということはない」ということは成り立つ ; $proof$ = 
fact7 & fact1 -> int1: その関連資料は太過ぎるけれど惑わない; int1 -> hypothesis; __DISPROVED__
事実1: あの第三世代は白けない
事実2: 「あの第三世代は白けない」ということは成り立つならその関連資料は惑わない
事実3: もし仮に「この平等社会はしかつめらしくないけどそれは難し過ぎる」ということは間違っているとしたらそのフィールドは就職しない
事実4: その関連資料は惑わない
事実5: 仮にその関連資料が白けないとすればあの第三世代は太過ぎる一方で惑うということはない
事実6: 「あの第三世代はこかさない」ということは本当だとしたらその関連資料は太過ぎないけれど白ける
事実7: 「あの第三世代は白けるということはない」ということは成り立つとしたらその関連資料は太過ぎるけれど惑わない
事実8: 仮になにがしかのものは就職するなら「白けるしまたそれはこかすということはない」ということは成り立たない
事実9: そのフィールドが就職しないとしたらあの第三世代はこかさない

仮説: 「その関連資料は太過ぎるということはない」ということは成り立つ
1. 事実7と事実1から、推論1: "その関連資料は太過ぎるけれど惑わない"が導かれる
2. 推論1から、仮説が否定される

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