あのＵＣＤＯは羽根布団である
fact1: もしもあのＵＣＤＯはＣドライブであるということはないとすれば「ブラバスらしくないけれど絶賛する」ということは事実と異なる fact2: あのＵＣＤＯは御前である fact3: あのＵＣＤＯはブラバスらしいしかつ絶賛する fact4: もし「あの法線ベクトルＮυは飛行機らしい」ということは確かであるとすると兵器開発計画だ fact5: もしもなにかはブラバスらしいなら羽根布団である
fact3 -> int1: あのＵＣＤＯはブラバスらしい; fact5 -> int2: もし仮にあのＵＣＤＯがブラバスらしいとしたらそれは羽根布団である; int1 & int2 -> hypothesis;
fact3 -> int1: {A}{a}; fact5 -> int2: {A}{a} -> {C}{a}; int1 & int2 -> hypothesis;
あのＵＣＤＯは羽根布団でない
$facts$ = fact1: もしもあのＵＣＤＯはＣドライブであるということはないとすれば「ブラバスらしくないけれど絶賛する」ということは事実と異なる fact2: あのＵＣＤＯは御前である fact3: あのＵＣＤＯはブラバスらしいしかつ絶賛する fact4: もし「あの法線ベクトルＮυは飛行機らしい」ということは確かであるとすると兵器開発計画だ fact5: もしもなにかはブラバスらしいなら羽根布団である ; $hypothesis$ = あのＵＣＤＯは羽根布団である ; $proof$ = 
fact3 -> int1: あのＵＣＤＯはブラバスらしい; fact5 -> int2: もし仮にあのＵＣＤＯがブラバスらしいとしたらそれは羽根布団である; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあのＵＣＤＯはＣドライブであるということはないとすれば「ブラバスらしくないけれど絶賛する」ということは事実と異なる
事実2: あのＵＣＤＯは御前である
事実3: あのＵＣＤＯはブラバスらしいしかつ絶賛する
事実4: もし「あの法線ベクトルＮυは飛行機らしい」ということは確かであるとすると兵器開発計画だ
事実5: もしもなにかはブラバスらしいなら羽根布団である

仮説: あのＵＣＤＯは羽根布団である
1. 事実3から、推論1: "あのＵＣＤＯはブラバスらしい"が導かれる
2. 事実5から、推論2: "もし仮にあのＵＣＤＯがブラバスらしいとしたらそれは羽根布団である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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