その三元豚は緩解する
fact1: もしもとある物は基本編であるかあるいは志すかまたはどちらもであるならば緩解しない fact2: 基本編は眠い fact3: もし何らかのものは基本編でないとしたら「あのＪＲ内房線はみっともないししかも志す」ということは事実と異なる fact4: あのＪＲ内房線は志す fact5: その地子町が蓄積され易いならばボクシーだ fact6: もしあのＪＲ内房線が志すならその地子町は基本編だ fact7: 灯し難くない物はある fact8: もしボクシーが眠いとしたらその三元豚は緩解する fact9: もしも「とあるものはみっともないがしかし蓄積され易くない」ということは成り立たないならばそれはボクシーである fact10: もし灯し難くないものはあるとしたら「その地子町はみっともないが蓄積され易くない」ということは誤りである fact11: その地子町は緩解しない
fact6 & fact4 -> int1: その地子町は基本編だ; fact2 -> int2: その地子町が基本編なら眠い; int1 & int2 -> int3: その地子町は眠い; fact9 -> int4: もしも「その地子町はみっともないけどそれは蓄積され易くない」ということは偽だとすればボクシーだ; fact7 & fact10 -> int5: 「その地子町はみっともないがそれは蓄積され易くない」ということは誤っている; int4 & int5 -> int6: 「その地子町はボクシーである」ということは事実だ; int3 & int6 -> int7: その地子町はボクシーであるしかつそれは眠い; int7 -> int8: 何らかの物はボクシーで眠い; int8 & fact8 -> hypothesis;
その三元豚は眠いしおまけに繁殖し易い
fact12 -> int9: 「緩解しない」ものはある;
$facts$ = fact1: もしもとある物は基本編であるかあるいは志すかまたはどちらもであるならば緩解しない fact2: 基本編は眠い fact3: もし何らかのものは基本編でないとしたら「あのＪＲ内房線はみっともないししかも志す」ということは事実と異なる fact4: あのＪＲ内房線は志す fact5: その地子町が蓄積され易いならばボクシーだ fact6: もしあのＪＲ内房線が志すならその地子町は基本編だ fact7: 灯し難くない物はある fact8: もしボクシーが眠いとしたらその三元豚は緩解する fact9: もしも「とあるものはみっともないがしかし蓄積され易くない」ということは成り立たないならばそれはボクシーである fact10: もし灯し難くないものはあるとしたら「その地子町はみっともないが蓄積され易くない」ということは誤りである fact11: その地子町は緩解しない ; $hypothesis$ = その三元豚は緩解する ; $proof$ = 
fact6 & fact4 -> int1: その地子町は基本編だ; fact2 -> int2: その地子町が基本編なら眠い; int1 & int2 -> int3: その地子町は眠い; fact9 -> int4: もしも「その地子町はみっともないけどそれは蓄積され易くない」ということは偽だとすればボクシーだ; fact7 & fact10 -> int5: 「その地子町はみっともないがそれは蓄積され易くない」ということは誤っている; int4 & int5 -> int6: 「その地子町はボクシーである」ということは事実だ; int3 & int6 -> int7: その地子町はボクシーであるしかつそれは眠い; int7 -> int8: 何らかの物はボクシーで眠い; int8 & fact8 -> hypothesis; __PROVED__
事実1: もしもとある物は基本編であるかあるいは志すかまたはどちらもであるならば緩解しない
事実2: 基本編は眠い
事実3: もし何らかのものは基本編でないとしたら「あのＪＲ内房線はみっともないししかも志す」ということは事実と異なる
事実4: あのＪＲ内房線は志す
事実5: その地子町が蓄積され易いならばボクシーだ
事実6: もしあのＪＲ内房線が志すならその地子町は基本編だ
事実7: 灯し難くない物はある
事実8: もしボクシーが眠いとしたらその三元豚は緩解する
事実9: もしも「とあるものはみっともないがしかし蓄積され易くない」ということは成り立たないならばそれはボクシーである
事実10: もし灯し難くないものはあるとしたら「その地子町はみっともないが蓄積され易くない」ということは誤りである
事実11: その地子町は緩解しない

仮説: その三元豚は緩解する
1. 事実6と事実4から、推論1: "その地子町は基本編だ"が導かれる
2. 事実2から、推論2: "その地子町が基本編なら眠い"が導かれる
3. 推論1と推論2から、推論3: "その地子町は眠い"が導かれる
4. 事実9から、推論4: "もしも「その地子町はみっともないけどそれは蓄積され易くない」ということは偽だとすればボクシーだ"が導かれる
5. 事実7と事実10から、推論5: "「その地子町はみっともないがそれは蓄積され易くない」ということは誤っている"が導かれる
6. 推論4と推論5から、推論6: "「その地子町はボクシーである」ということは事実だ"が導かれる
7. 推論3と推論6から、推論7: "その地子町はボクシーであるしかつそれは眠い"が導かれる
8. 推論7から、推論8: "何らかの物はボクシーで眠い"が導かれる
9. 推論8と事実8から、仮説が導かれる

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