「「子会社化しないなら帰化する」ものはある」ということは事実でない
fact1: 「もし仮に偉くないなら「違い」ということは成り立つ」ものはある fact2: もし仮に「そのＢＣＤは子会社化する」ということは正しいならば帰化する fact3: 「仮に子会社化すれば帰化する」物はある fact4: 仮に「そのＢＣＤは子会社化しない」ということは確かならば帰化する fact5: 仮にとある物が諭さないならそれは特務機関だ
fact4 -> hypothesis;
「仮に諭さないならば特務機関な」物はある
fact6 -> int1: あの収納スペースが諭すということはないとすると特務機関だ; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に偉くないなら「違い」ということは成り立つ」ものはある fact2: もし仮に「そのＢＣＤは子会社化する」ということは正しいならば帰化する fact3: 「仮に子会社化すれば帰化する」物はある fact4: 仮に「そのＢＣＤは子会社化しない」ということは確かならば帰化する fact5: 仮にとある物が諭さないならそれは特務機関だ ; $hypothesis$ = 「「子会社化しないなら帰化する」ものはある」ということは事実でない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「もし仮に偉くないなら「違い」ということは成り立つ」ものはある
事実2: もし仮に「そのＢＣＤは子会社化する」ということは正しいならば帰化する
事実3: 「仮に子会社化すれば帰化する」物はある
事実4: 仮に「そのＢＣＤは子会社化しない」ということは確かならば帰化する
事実5: 仮にとある物が諭さないならそれは特務機関だ

仮説: 「「子会社化しないなら帰化する」ものはある」ということは事実でない
1. 事実4から、仮説が否定される

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