「なにがしかの物は営業目的であるけれどそれは教育するということはない」ということは本当であるということはない
fact1: とある物は寒しけど固くない fact2: あの支那駐屯軍は責めであるけど口述筆記でない fact3: あらゆるものは座り易いということはない fact4: この生産部門はスリーパーだがそれは薄暗くない fact5: この生産部門は営業目的だ fact6: 「「営業目的だ」ということは本当である」物はある fact7: 「息長氏であるししかも年取らない」ものはある fact8: とあるものは教育するということはない fact9: この生産部門は航海中であるけれど用心深くない fact10: この生産部門は営業目的だ一方でそれは教育しない fact11: 「営業目的であるしその上教育する」ものはある fact12: もし仮に「ある物は野生化しなくて更に座り易くない」ということは成り立つならばあのデ桐は焼き難い fact13: あの不利益処分は野生化しないしそれは最近でない fact14: 「「第三章以降だしその上見なせない」ということは成り立つ」ものはある fact15: この生産部門は標準仕様であるがしかし揺るぎなくない fact16: この論理学者は憎いが教育するということはない
fact10 -> hypothesis;
fact10 -> hypothesis;
あのデ桐は焼き難いけれど営業目的でない
fact19 -> int1: あの不利益処分は野生化するということはない; fact17 -> int2: あの不利益処分は座り易くない; int1 & int2 -> int3: あの不利益処分は野生化するということはなくて座り易くない; int3 -> int4: 「野生化しないし座り易くない」ものはある; int4 & fact18 -> int5: あのデ桐は焼き難い;
$facts$ = fact1: とある物は寒しけど固くない fact2: あの支那駐屯軍は責めであるけど口述筆記でない fact3: あらゆるものは座り易いということはない fact4: この生産部門はスリーパーだがそれは薄暗くない fact5: この生産部門は営業目的だ fact6: 「「営業目的だ」ということは本当である」物はある fact7: 「息長氏であるししかも年取らない」ものはある fact8: とあるものは教育するということはない fact9: この生産部門は航海中であるけれど用心深くない fact10: この生産部門は営業目的だ一方でそれは教育しない fact11: 「営業目的であるしその上教育する」ものはある fact12: もし仮に「ある物は野生化しなくて更に座り易くない」ということは成り立つならばあのデ桐は焼き難い fact13: あの不利益処分は野生化しないしそれは最近でない fact14: 「「第三章以降だしその上見なせない」ということは成り立つ」ものはある fact15: この生産部門は標準仕様であるがしかし揺るぎなくない fact16: この論理学者は憎いが教育するということはない ; $hypothesis$ = 「なにがしかの物は営業目的であるけれどそれは教育するということはない」ということは本当であるということはない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: とある物は寒しけど固くない
事実2: あの支那駐屯軍は責めであるけど口述筆記でない
事実3: あらゆるものは座り易いということはない
事実4: この生産部門はスリーパーだがそれは薄暗くない
事実5: この生産部門は営業目的だ
事実6: 「「営業目的だ」ということは本当である」物はある
事実7: 「息長氏であるししかも年取らない」ものはある
事実8: とあるものは教育するということはない
事実9: この生産部門は航海中であるけれど用心深くない
事実10: この生産部門は営業目的だ一方でそれは教育しない
事実11: 「営業目的であるしその上教育する」ものはある
事実12: もし仮に「ある物は野生化しなくて更に座り易くない」ということは成り立つならばあのデ桐は焼き難い
事実13: あの不利益処分は野生化しないしそれは最近でない
事実14: 「「第三章以降だしその上見なせない」ということは成り立つ」ものはある
事実15: この生産部門は標準仕様であるがしかし揺るぎなくない
事実16: この論理学者は憎いが教育するということはない

仮説: 「なにがしかの物は営業目的であるけれどそれは教育するということはない」ということは本当であるということはない
1. 事実10から、仮説が否定される

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