この楽しさは覗き見る
fact1: もしも「完成しない」ものがあればあの同室は侘しい fact2: もし仮にあの同室が急死するかまたは伸び続けないとすればあの楽しさは覗き見る fact3: その結婚歴は完成する一方で急死しない fact4: あの同室が睦まじいかまたは伸び続けるかまたは両方だとすればそれは侘しくない fact5: もし仮に「覗き見ない」ものがあるとするとこの楽しさは伸び続ける fact6: 「完成しない」ものはある
void -> assump1: 以下のように仮定する。あの同室は伸び続ける; assump1 -> int1: あの同室は睦まじいかそれは伸び続けるか両方ともである; int1 & fact4 -> int2: 「あの同室は侘しい」ということは成り立つということはない; fact6 & fact1 -> int3: あの同室は侘しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの同室は伸び続けない; int5 -> int6: あの同室は急死するかあるいは伸び続けるということはない; int6 & fact2 -> hypothesis;
この楽しさは覗き見ない
$facts$ = fact1: もしも「完成しない」ものがあればあの同室は侘しい fact2: もし仮にあの同室が急死するかまたは伸び続けないとすればあの楽しさは覗き見る fact3: その結婚歴は完成する一方で急死しない fact4: あの同室が睦まじいかまたは伸び続けるかまたは両方だとすればそれは侘しくない fact5: もし仮に「覗き見ない」ものがあるとするとこの楽しさは伸び続ける fact6: 「完成しない」ものはある ; $hypothesis$ = この楽しさは覗き見る ; $proof$ = 
void -> assump1: 以下のように仮定する。あの同室は伸び続ける; assump1 -> int1: あの同室は睦まじいかそれは伸び続けるか両方ともである; int1 & fact4 -> int2: 「あの同室は侘しい」ということは成り立つということはない; fact6 & fact1 -> int3: あの同室は侘しい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの同室は伸び続けない; int5 -> int6: あの同室は急死するかあるいは伸び続けるということはない; int6 & fact2 -> hypothesis; __PROVED__
事実1: もしも「完成しない」ものがあればあの同室は侘しい
事実2: もし仮にあの同室が急死するかまたは伸び続けないとすればあの楽しさは覗き見る
事実3: その結婚歴は完成する一方で急死しない
事実4: あの同室が睦まじいかまたは伸び続けるかまたは両方だとすればそれは侘しくない
事実5: もし仮に「覗き見ない」ものがあるとするとこの楽しさは伸び続ける
事実6: 「完成しない」ものはある

仮説: この楽しさは覗き見る
1. 仮定1: 以下のように仮定する。あの同室は伸び続ける
2. 仮定1から、推論1: "あの同室は睦まじいかそれは伸び続けるか両方ともである"が導かれる
3. 推論1と事実4から、推論2: "「あの同室は侘しい」ということは成り立つということはない"が導かれる
4. 事実6と事実1から、推論3: "あの同室は侘しい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの同室は伸び続けない"が導かれる
7. 推論5から、推論6: "あの同室は急死するかあるいは伸び続けるということはない"が導かれる
8. 推論6と事実2から、仮説が導かれる

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