この調理本部は淡雪でない
fact1: 人恋しくないものは長々しかない fact2: この調理本部が青黒くなくておまけに淡雪だということはないとすればこの白磁は生臭くない fact3: 生臭い物が淡雪だとしたらあのＥ氏は青黒い fact4: そのプロレタリア革命は世間長者気質である fact5: あのＥ氏は限り無しかあるいは人恋しくない fact6: 限り無し物は長々しかない fact7: もしあるものは世間長者気質でないとすると青黒くない fact8: この調理本部は生臭い fact9: もしもそのプロレタリア革命が世間長者気質であるならばあのＥ氏は世間長者気質でない
void -> assump1: 以下のように仮定する。この調理本部は淡雪である; fact8 & assump1 -> int1: 「この調理本部は生臭くて淡雪だ」ということは成り立つ; int1 -> int2: なにがしかの物は生臭いし加えて淡雪である; int2 & fact3 -> int3: あのＥ氏は青黒い; fact4 & fact9 -> int4: あのＥ氏は世間長者気質でない; fact7 -> int5: あのＥ氏は世間長者気質でないとしたらそれは青黒くない; int4 & int5 -> int6: あのＥ氏は青黒くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
この白磁は生臭くない
fact10 -> int8: 仮にあのＥ氏が限り無しとするとそれは長々しかない; fact12 -> int9: もしもあのＥ氏が人恋しいということはないならば長々しかない; fact13 & int8 & int9 -> int10: あのＥ氏は長々しかない; int10 -> int11: あのＥ氏は世間長者気質でないか長々しかない; int11 -> int12: 「世間長者気質でないかあるいは長々しかないか両方な」物はある;
$facts$ = fact1: 人恋しくないものは長々しかない fact2: この調理本部が青黒くなくておまけに淡雪だということはないとすればこの白磁は生臭くない fact3: 生臭い物が淡雪だとしたらあのＥ氏は青黒い fact4: そのプロレタリア革命は世間長者気質である fact5: あのＥ氏は限り無しかあるいは人恋しくない fact6: 限り無し物は長々しかない fact7: もしあるものは世間長者気質でないとすると青黒くない fact8: この調理本部は生臭い fact9: もしもそのプロレタリア革命が世間長者気質であるならばあのＥ氏は世間長者気質でない ; $hypothesis$ = この調理本部は淡雪でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この調理本部は淡雪である; fact8 & assump1 -> int1: 「この調理本部は生臭くて淡雪だ」ということは成り立つ; int1 -> int2: なにがしかの物は生臭いし加えて淡雪である; int2 & fact3 -> int3: あのＥ氏は青黒い; fact4 & fact9 -> int4: あのＥ氏は世間長者気質でない; fact7 -> int5: あのＥ氏は世間長者気質でないとしたらそれは青黒くない; int4 & int5 -> int6: あのＥ氏は青黒くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: 人恋しくないものは長々しかない
事実2: この調理本部が青黒くなくておまけに淡雪だということはないとすればこの白磁は生臭くない
事実3: 生臭い物が淡雪だとしたらあのＥ氏は青黒い
事実4: そのプロレタリア革命は世間長者気質である
事実5: あのＥ氏は限り無しかあるいは人恋しくない
事実6: 限り無し物は長々しかない
事実7: もしあるものは世間長者気質でないとすると青黒くない
事実8: この調理本部は生臭い
事実9: もしもそのプロレタリア革命が世間長者気質であるならばあのＥ氏は世間長者気質でない

仮説: この調理本部は淡雪でない
1. 仮定1: 以下のように仮定する。この調理本部は淡雪である
2. 事実8と仮定1から、推論1: "「この調理本部は生臭くて淡雪だ」ということは成り立つ"が導かれる
3. 推論1から、推論2: "なにがしかの物は生臭いし加えて淡雪である"が導かれる
4. 推論2と事実3から、推論3: "あのＥ氏は青黒い"が導かれる
5. 事実4と事実9から、推論4: "あのＥ氏は世間長者気質でない"が導かれる
6. 事実7から、推論5: "あのＥ氏は世間長者気質でないとしたらそれは青黒くない"が導かれる
7. 推論4と推論5から、推論6: "あのＥ氏は青黒くない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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