「「節制する」物はある」ということは誤りである
fact1: 仮に「そのＣＴＳは一坪半であるけれど先生達でない」ということは確かでないならばあのＮＢＳは先生達だ fact2: 「受け難くない」ものはある fact3: 「注目する」物はある fact4: あのＮＢＳは若輩だ fact5: 何かはがっつく fact6: 「損金算入出来る」物はある fact7: なにかはマッシュポテトである fact8: 「切れ易い」物はある fact9: 懐かし物はある fact10: なにかは一坪半である fact11: 「あのＮＢＳは節制する」ということは成り立つ fact12: あのＮＢＳは生態系全体だ fact13: なにがしかの物は溜めだ fact14: なんらかのものは乗務する fact15: 「あのＮＢＳはＤＡＹだ」ということは成り立つ fact16: あのＮＢＳはねちっこい fact17: 「イメージし易い」物はある fact18: なんらかの物は哲学教授だ fact19: 「ハイスピードな」ものはある fact20: もしとある物がＬＡＴＥＸでないならば一坪半であるしかつそれは節制する fact21: なにがしかの物が節制すれば業務知識である
fact11 -> hypothesis;
fact11 -> hypothesis;
あのＮＢＳは先生達である
$facts$ = fact1: 仮に「そのＣＴＳは一坪半であるけれど先生達でない」ということは確かでないならばあのＮＢＳは先生達だ fact2: 「受け難くない」ものはある fact3: 「注目する」物はある fact4: あのＮＢＳは若輩だ fact5: 何かはがっつく fact6: 「損金算入出来る」物はある fact7: なにかはマッシュポテトである fact8: 「切れ易い」物はある fact9: 懐かし物はある fact10: なにかは一坪半である fact11: 「あのＮＢＳは節制する」ということは成り立つ fact12: あのＮＢＳは生態系全体だ fact13: なにがしかの物は溜めだ fact14: なんらかのものは乗務する fact15: 「あのＮＢＳはＤＡＹだ」ということは成り立つ fact16: あのＮＢＳはねちっこい fact17: 「イメージし易い」物はある fact18: なんらかの物は哲学教授だ fact19: 「ハイスピードな」ものはある fact20: もしとある物がＬＡＴＥＸでないならば一坪半であるしかつそれは節制する fact21: なにがしかの物が節制すれば業務知識である ; $hypothesis$ = 「「節制する」物はある」ということは誤りである ; $proof$ = 
fact11 -> hypothesis; __DISPROVED__
事実1: 仮に「そのＣＴＳは一坪半であるけれど先生達でない」ということは確かでないならばあのＮＢＳは先生達だ
事実2: 「受け難くない」ものはある
事実3: 「注目する」物はある
事実4: あのＮＢＳは若輩だ
事実5: 何かはがっつく
事実6: 「損金算入出来る」物はある
事実7: なにかはマッシュポテトである
事実8: 「切れ易い」物はある
事実9: 懐かし物はある
事実10: なにかは一坪半である
事実11: 「あのＮＢＳは節制する」ということは成り立つ
事実12: あのＮＢＳは生態系全体だ
事実13: なにがしかの物は溜めだ
事実14: なんらかのものは乗務する
事実15: 「あのＮＢＳはＤＡＹだ」ということは成り立つ
事実16: あのＮＢＳはねちっこい
事実17: 「イメージし易い」物はある
事実18: なんらかの物は哲学教授だ
事実19: 「ハイスピードな」ものはある
事実20: もしとある物がＬＡＴＥＸでないならば一坪半であるしかつそれは節制する
事実21: なにがしかの物が節制すれば業務知識である

仮説: 「「節制する」物はある」ということは誤りである
1. 事実11から、仮説が否定される

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