この期待外れは御話ししない
fact1: 仮にとある物が御話しするとすればそれは諸関連である fact2: このハウジングが抱き込まないとしたらこの期待外れは抱き込む fact3: もしも「御話しするということはない」ものがあるとすればあのハウジングは諸関連だ fact4: このハウジングは抱き込まないかあるいはそれは集団治療だ fact5: このハウジングが抱き込まないかもしくは集団治療であるかもしくは両方ならばこの期待外れは抱き込む fact6: その情報開示制度は後ろ暗いし有り難し fact7: 「この期待外れは諸関連であるけれど後ろ暗くない」ということは事実と異なる fact8: もし仮にこの期待外れが抱き込むなら後ろ暗くない
fact1 -> int1: 仮にこの期待外れが御話しするとするとそれは諸関連である; void -> assump1: 以下のように仮定する。この期待外れは御話しする; int1 & assump1 -> int2: 「この期待外れは諸関連である」ということは成り立つ; fact4 & fact5 -> int3: この期待外れは抱き込む; int3 & fact8 -> int4: この期待外れは後ろ暗くない; int2 & int4 -> int5: この期待外れは諸関連だがしかし後ろ暗くない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「このハウジングは諸関連だ」ということは間違っていない
fact9 -> int7: その情報開示制度は後ろ暗い;
$facts$ = fact1: 仮にとある物が御話しするとすればそれは諸関連である fact2: このハウジングが抱き込まないとしたらこの期待外れは抱き込む fact3: もしも「御話しするということはない」ものがあるとすればあのハウジングは諸関連だ fact4: このハウジングは抱き込まないかあるいはそれは集団治療だ fact5: このハウジングが抱き込まないかもしくは集団治療であるかもしくは両方ならばこの期待外れは抱き込む fact6: その情報開示制度は後ろ暗いし有り難し fact7: 「この期待外れは諸関連であるけれど後ろ暗くない」ということは事実と異なる fact8: もし仮にこの期待外れが抱き込むなら後ろ暗くない ; $hypothesis$ = この期待外れは御話ししない ; $proof$ = 
fact1 -> int1: 仮にこの期待外れが御話しするとするとそれは諸関連である; void -> assump1: 以下のように仮定する。この期待外れは御話しする; int1 & assump1 -> int2: 「この期待外れは諸関連である」ということは成り立つ; fact4 & fact5 -> int3: この期待外れは抱き込む; int3 & fact8 -> int4: この期待外れは後ろ暗くない; int2 & int4 -> int5: この期待外れは諸関連だがしかし後ろ暗くない; int5 & fact7 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: 仮にとある物が御話しするとすればそれは諸関連である
事実2: このハウジングが抱き込まないとしたらこの期待外れは抱き込む
事実3: もしも「御話しするということはない」ものがあるとすればあのハウジングは諸関連だ
事実4: このハウジングは抱き込まないかあるいはそれは集団治療だ
事実5: このハウジングが抱き込まないかもしくは集団治療であるかもしくは両方ならばこの期待外れは抱き込む
事実6: その情報開示制度は後ろ暗いし有り難し
事実7: 「この期待外れは諸関連であるけれど後ろ暗くない」ということは事実と異なる
事実8: もし仮にこの期待外れが抱き込むなら後ろ暗くない

仮説: この期待外れは御話ししない
1. 事実1から、推論1: "仮にこの期待外れが御話しするとするとそれは諸関連である"が導かれる
2. 仮定1: 以下のように仮定する。この期待外れは御話しする
3. 推論1と仮定1から、推論2: "「この期待外れは諸関連である」ということは成り立つ"が導かれる
4. 事実4と事実5から、推論3: "この期待外れは抱き込む"が導かれる
5. 推論3と事実8から、推論4: "この期待外れは後ろ暗くない"が導かれる
6. 推論2と推論4から、推論5: "この期待外れは諸関連だがしかし後ろ暗くない"が導かれる
7. 推論5と事実7から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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