この数年来は冷や御飯でない
fact1: この観世音菩薩は指揮監督するということはない fact2: 仮になにがしかのものが腐食だということはないとしたらそれは怖ーいしさらに追加徴求する fact3: もし仮に何らかの物が実体的損害だとしたらそれはエアクリーナーカバーだ fact4: もしもこのブロック状は引き移らないとすれば「この数年来は腐食だけれど底堅くない」ということは誤りである fact5: もし「この観世音菩薩は階層化しないがそれは当たり易い」ということは事実と異なるならこのブロック状は当たり易くない fact6: このブロック状がエアクリーナーカバーならば丸っこい fact7: この観世音菩薩は冷や御飯でない fact8: このブロック状は追加徴求する fact9: この観世音菩薩は怖ーい fact10: 丸っこいものは怖ーくない一方でポンパドゥール夫人である fact11: 腐食は引き移る fact12: 仮にこの観世音菩薩が怖ーいとすると底堅い fact13: もし仮にこの観世音菩薩は指揮監督するということはないならば「「階層化しないし当たり易い」ということは確かだ」ということは誤りだ fact14: もしこのブロック状が当たり易くないとしたら筆算であるし加えて実体的損害だ fact15: もしもこのブロック状が追加徴求するとしたらこの観世音菩薩は腐食だ fact16: もしもこの観世音菩薩が底堅いし加えて引き移るとしたらこの数年来は冷や御飯であるということはない fact17: もしも怖ーいということはないものはポンパドゥール夫人であるとするとそれは底堅くない fact18: もしも何らかのものが腐食だということはないとしたらそれは追加徴求するかもしくは冷や御飯であるか両方だ fact19: もしもこのブロック状が引き移るしそれが追加徴求するとするとこの観世音菩薩は冷や御飯でない
fact15 & fact8 -> int1: この観世音菩薩は腐食だ; fact11 -> int2: 仮に「この観世音菩薩は腐食である」ということは誤りだということはないとするとそれは引き移る; int1 & int2 -> int3: この観世音菩薩は引き移る; fact9 & fact12 -> int4: 「この観世音菩薩は底堅い」ということは事実である; int3 & int4 -> int5: この観世音菩薩は底堅くてさらに引き移る; int5 & fact16 -> hypothesis;
この数年来は冷や御飯である
fact21 -> int6: もしもこのブロック状が腐食でないとしたら追加徴求するかもしくは冷や御飯であるかもしくは両方ともである; fact28 -> int7: もしこのブロック状は怖ーくない一方でポンパドゥール夫人ならば底堅くない; fact26 -> int8: もしこのブロック状が丸っこいならばそれは怖ーくないしそれはポンパドゥール夫人だ; fact27 -> int9: 仮にこのブロック状は実体的損害であるとしたらそれはエアクリーナーカバーである; fact23 & fact25 -> int10: 「「この観世音菩薩は階層化しない一方で当たり易い」ということは確かだ」ということは嘘である; fact22 & int10 -> int11: このブロック状は当たり易くない; fact20 & int11 -> int12: このブロック状は筆算で実体的損害だ; int12 -> int13: このブロック状は実体的損害である; int9 & int13 -> int14: このブロック状はエアクリーナーカバーである; fact24 & int14 -> int15: このブロック状は丸っこい; int8 & int15 -> int16: このブロック状は怖ーくないけどポンパドゥール夫人である; int7 & int16 -> int17: 「このブロック状は底堅いということはない」ということは確かである;
$facts$ = fact1: この観世音菩薩は指揮監督するということはない fact2: 仮になにがしかのものが腐食だということはないとしたらそれは怖ーいしさらに追加徴求する fact3: もし仮に何らかの物が実体的損害だとしたらそれはエアクリーナーカバーだ fact4: もしもこのブロック状は引き移らないとすれば「この数年来は腐食だけれど底堅くない」ということは誤りである fact5: もし「この観世音菩薩は階層化しないがそれは当たり易い」ということは事実と異なるならこのブロック状は当たり易くない fact6: このブロック状がエアクリーナーカバーならば丸っこい fact7: この観世音菩薩は冷や御飯でない fact8: このブロック状は追加徴求する fact9: この観世音菩薩は怖ーい fact10: 丸っこいものは怖ーくない一方でポンパドゥール夫人である fact11: 腐食は引き移る fact12: 仮にこの観世音菩薩が怖ーいとすると底堅い fact13: もし仮にこの観世音菩薩は指揮監督するということはないならば「「階層化しないし当たり易い」ということは確かだ」ということは誤りだ fact14: もしこのブロック状が当たり易くないとしたら筆算であるし加えて実体的損害だ fact15: もしもこのブロック状が追加徴求するとしたらこの観世音菩薩は腐食だ fact16: もしもこの観世音菩薩が底堅いし加えて引き移るとしたらこの数年来は冷や御飯であるということはない fact17: もしも怖ーいということはないものはポンパドゥール夫人であるとするとそれは底堅くない fact18: もしも何らかのものが腐食だということはないとしたらそれは追加徴求するかもしくは冷や御飯であるか両方だ fact19: もしもこのブロック状が引き移るしそれが追加徴求するとするとこの観世音菩薩は冷や御飯でない ; $hypothesis$ = この数年来は冷や御飯でない ; $proof$ = 
fact15 & fact8 -> int1: この観世音菩薩は腐食だ; fact11 -> int2: 仮に「この観世音菩薩は腐食である」ということは誤りだということはないとするとそれは引き移る; int1 & int2 -> int3: この観世音菩薩は引き移る; fact9 & fact12 -> int4: 「この観世音菩薩は底堅い」ということは事実である; int3 & int4 -> int5: この観世音菩薩は底堅くてさらに引き移る; int5 & fact16 -> hypothesis; __PROVED__
事実1: この観世音菩薩は指揮監督するということはない
事実2: 仮になにがしかのものが腐食だということはないとしたらそれは怖ーいしさらに追加徴求する
事実3: もし仮に何らかの物が実体的損害だとしたらそれはエアクリーナーカバーだ
事実4: もしもこのブロック状は引き移らないとすれば「この数年来は腐食だけれど底堅くない」ということは誤りである
事実5: もし「この観世音菩薩は階層化しないがそれは当たり易い」ということは事実と異なるならこのブロック状は当たり易くない
事実6: このブロック状がエアクリーナーカバーならば丸っこい
事実7: この観世音菩薩は冷や御飯でない
事実8: このブロック状は追加徴求する
事実9: この観世音菩薩は怖ーい
事実10: 丸っこいものは怖ーくない一方でポンパドゥール夫人である
事実11: 腐食は引き移る
事実12: 仮にこの観世音菩薩が怖ーいとすると底堅い
事実13: もし仮にこの観世音菩薩は指揮監督するということはないならば「「階層化しないし当たり易い」ということは確かだ」ということは誤りだ
事実14: もしこのブロック状が当たり易くないとしたら筆算であるし加えて実体的損害だ
事実15: もしもこのブロック状が追加徴求するとしたらこの観世音菩薩は腐食だ
事実16: もしもこの観世音菩薩が底堅いし加えて引き移るとしたらこの数年来は冷や御飯であるということはない
事実17: もしも怖ーいということはないものはポンパドゥール夫人であるとするとそれは底堅くない
事実18: もしも何らかのものが腐食だということはないとしたらそれは追加徴求するかもしくは冷や御飯であるか両方だ
事実19: もしもこのブロック状が引き移るしそれが追加徴求するとするとこの観世音菩薩は冷や御飯でない

仮説: この数年来は冷や御飯でない
1. 事実15と事実8から、推論1: "この観世音菩薩は腐食だ"が導かれる
2. 事実11から、推論2: "仮に「この観世音菩薩は腐食である」ということは誤りだということはないとするとそれは引き移る"が導かれる
3. 推論1と推論2から、推論3: "この観世音菩薩は引き移る"が導かれる
4. 事実9と事実12から、推論4: "「この観世音菩薩は底堅い」ということは事実である"が導かれる
5. 推論3と推論4から、推論5: "この観世音菩薩は底堅くてさらに引き移る"が導かれる
6. 推論5と事実16から、仮説が導かれる

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