あのアプリコットは第二順位者だ
fact1: その加飾塗装は第二順位者である fact2: あの不当利得論は引き上げる fact3: もし仮に「なにがしかの物は物凄まじいしその上引き上げる」ということは成り立たないならばそれは第二順位者でない fact4: もし仮にあの不当利得論は引き上げれば「あのアプリコットは第二順位者だ」ということは本当である
fact4 & fact2 -> hypothesis;
fact4 & fact2 -> hypothesis;
あのアプリコットは第二順位者でない
fact5 -> int1: 仮に「あのアプリコットは物凄まじくてさらに引き上げる」ということは成り立たないならそれは第二順位者であるということはない;
$facts$ = fact1: その加飾塗装は第二順位者である fact2: あの不当利得論は引き上げる fact3: もし仮に「なにがしかの物は物凄まじいしその上引き上げる」ということは成り立たないならばそれは第二順位者でない fact4: もし仮にあの不当利得論は引き上げれば「あのアプリコットは第二順位者だ」ということは本当である ; $hypothesis$ = あのアプリコットは第二順位者だ ; $proof$ = 
fact4 & fact2 -> hypothesis; __PROVED__
事実1: その加飾塗装は第二順位者である
事実2: あの不当利得論は引き上げる
事実3: もし仮に「なにがしかの物は物凄まじいしその上引き上げる」ということは成り立たないならばそれは第二順位者でない
事実4: もし仮にあの不当利得論は引き上げれば「あのアプリコットは第二順位者だ」ということは本当である

仮説: あのアプリコットは第二順位者だ
1. 事実4と事実2から、仮説が導かれる

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