あの各波長は鍋類である
fact1: あの各波長は上げ下げだ fact2: あの五人以下がアクションスクリプトでないが鍋類だとするとあの各波長は鍋類でない fact3: もしあの五人以下がアクションスクリプトだとすればあの大工業は訳無い fact4: もしもこのビルジャンが受け得るしその上訳無いならばあの五人以下はアクションスクリプトでない fact5: もし何らかの物が厚ぼったくないとしたらそれはアクションスクリプトでないしそれは鍋類だ fact6: あの五人以下はアクションスクリプトであるしかつ厚ぼったい fact7: もしあの五人以下が厚ぼったいとするとあの各波長は訳無い fact8: あの各波長は厚ぼったい fact9: もし仮にあの各波長がアクションスクリプトであるならばあの五人以下はアクションスクリプトだ fact10: あの五人以下は訳無い fact11: 訳無いものは鍋類だ
fact6 -> int1: あの五人以下は厚ぼったい; int1 & fact7 -> int2: あの各波長は訳無い; fact11 -> int3: もしあの各波長が訳無いとしたら鍋類である; int2 & int3 -> hypothesis;
あの各波長は鍋類でない
fact13 -> int4: 仮にあの五人以下が厚ぼったくないならアクションスクリプトだということはないけど鍋類である;
$facts$ = fact1: あの各波長は上げ下げだ fact2: あの五人以下がアクションスクリプトでないが鍋類だとするとあの各波長は鍋類でない fact3: もしあの五人以下がアクションスクリプトだとすればあの大工業は訳無い fact4: もしもこのビルジャンが受け得るしその上訳無いならばあの五人以下はアクションスクリプトでない fact5: もし何らかの物が厚ぼったくないとしたらそれはアクションスクリプトでないしそれは鍋類だ fact6: あの五人以下はアクションスクリプトであるしかつ厚ぼったい fact7: もしあの五人以下が厚ぼったいとするとあの各波長は訳無い fact8: あの各波長は厚ぼったい fact9: もし仮にあの各波長がアクションスクリプトであるならばあの五人以下はアクションスクリプトだ fact10: あの五人以下は訳無い fact11: 訳無いものは鍋類だ ; $hypothesis$ = あの各波長は鍋類である ; $proof$ = 
fact6 -> int1: あの五人以下は厚ぼったい; int1 & fact7 -> int2: あの各波長は訳無い; fact11 -> int3: もしあの各波長が訳無いとしたら鍋類である; int2 & int3 -> hypothesis; __PROVED__
事実1: あの各波長は上げ下げだ
事実2: あの五人以下がアクションスクリプトでないが鍋類だとするとあの各波長は鍋類でない
事実3: もしあの五人以下がアクションスクリプトだとすればあの大工業は訳無い
事実4: もしもこのビルジャンが受け得るしその上訳無いならばあの五人以下はアクションスクリプトでない
事実5: もし何らかの物が厚ぼったくないとしたらそれはアクションスクリプトでないしそれは鍋類だ
事実6: あの五人以下はアクションスクリプトであるしかつ厚ぼったい
事実7: もしあの五人以下が厚ぼったいとするとあの各波長は訳無い
事実8: あの各波長は厚ぼったい
事実9: もし仮にあの各波長がアクションスクリプトであるならばあの五人以下はアクションスクリプトだ
事実10: あの五人以下は訳無い
事実11: 訳無いものは鍋類だ

仮説: あの各波長は鍋類である
1. 事実6から、推論1: "あの五人以下は厚ぼったい"が導かれる
2. 推論1と事実7から、推論2: "あの各波長は訳無い"が導かれる
3. 事実11から、推論3: "もしあの各波長が訳無いとしたら鍋類である"が導かれる
4. 推論2と推論3から、仮説が導かれる

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