その椎間板は掬い上げるしさらに油っぽい
fact1: あの詞薩等があたふたすればそのレーダー手は甲高いけど鋭くない fact2: 仮にその椎間板は甲高いとすると「そのレーダー手は油っぽい」ということは本当である fact3: もしそのレーダー手が甲高いがしかし鋭いということはないとするとあの大ボスは御供する fact4: その椎間板は遡行するし掬い上げる fact5: もし仮にあの大ボスが御供すればその椎間板は油っぽい fact6: 「あの詞薩等はあたふたする」ということは確かである fact7: もし何らかの物はあたふたしないならば「それは掬い上げるしおまけに油っぽい」ということは誤りである
fact1 & fact6 -> int1: そのレーダー手は甲高い一方で鋭くない; int1 & fact3 -> int2: あの大ボスは御供する; int2 & fact5 -> int3: 「その椎間板は油っぽい」ということは確かである; fact4 -> int4: その椎間板は掬い上げる; int3 & int4 -> hypothesis;
「その椎間板は掬い上げるしそれに油っぽい」ということは事実と異なる
fact8 -> int5: もしその椎間板はあたふたしないとしたら「それは掬い上げるしまた油っぽい」ということは誤りだ;
$facts$ = fact1: あの詞薩等があたふたすればそのレーダー手は甲高いけど鋭くない fact2: 仮にその椎間板は甲高いとすると「そのレーダー手は油っぽい」ということは本当である fact3: もしそのレーダー手が甲高いがしかし鋭いということはないとするとあの大ボスは御供する fact4: その椎間板は遡行するし掬い上げる fact5: もし仮にあの大ボスが御供すればその椎間板は油っぽい fact6: 「あの詞薩等はあたふたする」ということは確かである fact7: もし何らかの物はあたふたしないならば「それは掬い上げるしおまけに油っぽい」ということは誤りである ; $hypothesis$ = その椎間板は掬い上げるしさらに油っぽい ; $proof$ = 
fact1 & fact6 -> int1: そのレーダー手は甲高い一方で鋭くない; int1 & fact3 -> int2: あの大ボスは御供する; int2 & fact5 -> int3: 「その椎間板は油っぽい」ということは確かである; fact4 -> int4: その椎間板は掬い上げる; int3 & int4 -> hypothesis; __PROVED__
事実1: あの詞薩等があたふたすればそのレーダー手は甲高いけど鋭くない
事実2: 仮にその椎間板は甲高いとすると「そのレーダー手は油っぽい」ということは本当である
事実3: もしそのレーダー手が甲高いがしかし鋭いということはないとするとあの大ボスは御供する
事実4: その椎間板は遡行するし掬い上げる
事実5: もし仮にあの大ボスが御供すればその椎間板は油っぽい
事実6: 「あの詞薩等はあたふたする」ということは確かである
事実7: もし何らかの物はあたふたしないならば「それは掬い上げるしおまけに油っぽい」ということは誤りである

仮説: その椎間板は掬い上げるしさらに油っぽい
1. 事実1と事実6から、推論1: "そのレーダー手は甲高い一方で鋭くない"が導かれる
2. 推論1と事実3から、推論2: "あの大ボスは御供する"が導かれる
3. 推論2と事実5から、推論3: "「その椎間板は油っぽい」ということは確かである"が導かれる
4. 事実4から、推論4: "その椎間板は掬い上げる"が導かれる
5. 推論3と推論4から、仮説が導かれる

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