その無意識は展開し易い
fact1: もしあの警告画面が常設するとしたらその無意識は展開し易い fact2: あの警告画面はカーステレオだ fact3: もしもあの警告画面はカーステレオであるとしたら常設する fact4: もしもあの警告画面が展開し易くないとするとあのオープン戦はカーステレオで常設する fact5: 海外投資家は常設するということはないがカーステレオだ
fact3 & fact2 -> int1: 「あの警告画面は常設する」ということは本当だ; int1 & fact1 -> hypothesis;
その無意識は展開し易くない
fact6 -> int2: もし仮にあの警告画面が海外投資家なら常設するということはないしカーステレオである;
$facts$ = fact1: もしあの警告画面が常設するとしたらその無意識は展開し易い fact2: あの警告画面はカーステレオだ fact3: もしもあの警告画面はカーステレオであるとしたら常設する fact4: もしもあの警告画面が展開し易くないとするとあのオープン戦はカーステレオで常設する fact5: 海外投資家は常設するということはないがカーステレオだ ; $hypothesis$ = その無意識は展開し易い ; $proof$ = 
fact3 & fact2 -> int1: 「あの警告画面は常設する」ということは本当だ; int1 & fact1 -> hypothesis; __PROVED__
事実1: もしあの警告画面が常設するとしたらその無意識は展開し易い
事実2: あの警告画面はカーステレオだ
事実3: もしもあの警告画面はカーステレオであるとしたら常設する
事実4: もしもあの警告画面が展開し易くないとするとあのオープン戦はカーステレオで常設する
事実5: 海外投資家は常設するということはないがカーステレオだ

仮説: その無意識は展開し易い
1. 事実3と事実2から、推論1: "「あの警告画面は常設する」ということは本当だ"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。