その動作改善は残り易くないけれど情け深い
fact1: その堀跡が参加し続けないならあの諸収入は馴れ馴れしくなくてしかもそれは口惜しくない fact2: 仮にその他部門が口惜しくて参加し続けるとすればこの盆略手前は掻き抱くということはない fact3: 仮になんらかの物が掻き抱くなら参加し続けるということはなくてそれは口惜しくない fact4: その堀跡が馴れ馴れしいならその他部門は口惜しい fact5: 仮にそのコンサートが思い出深くないとすると南メソジスト監督教会だし汚らしくない fact6: もしその他部門が参加し続けるということはないとすればあの動作改善は残り易いということはないがしかし情け深い fact7: 仮にこの盆略手前は掻き抱かないとすると「そのコンサートは南メソジスト監督教会である一方で汚らしくない」ということは事実と異なる fact8: その堀跡は馴れ馴れしい fact9: 仮にその動作改善は馴れ馴れしくないとすると「それは残り易いということはないが情け深い」ということは事実と異なる fact10: 「そのコンサートは思い出深くない」ということは正しい
fact4 & fact8 -> int1: 「その他部門は口惜しい」ということは事実である; void -> assump1: 以下のように仮定する。その他部門は参加し続ける; int1 & assump1 -> int2: その他部門は口惜しいし参加し続ける; int2 & fact2 -> int3: 「この盆略手前は掻き抱かない」ということは確かである; int3 & fact7 -> int4: 「そのコンサートは南メソジスト監督教会だけれど汚らしくない」ということは間違いだ; fact10 & fact5 -> int5: そのコンサートは南メソジスト監督教会だ一方で汚らしくない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その他部門は参加し続けない; int7 & fact6 -> hypothesis;
あの諸収入は口惜しくない
$facts$ = fact1: その堀跡が参加し続けないならあの諸収入は馴れ馴れしくなくてしかもそれは口惜しくない fact2: 仮にその他部門が口惜しくて参加し続けるとすればこの盆略手前は掻き抱くということはない fact3: 仮になんらかの物が掻き抱くなら参加し続けるということはなくてそれは口惜しくない fact4: その堀跡が馴れ馴れしいならその他部門は口惜しい fact5: 仮にそのコンサートが思い出深くないとすると南メソジスト監督教会だし汚らしくない fact6: もしその他部門が参加し続けるということはないとすればあの動作改善は残り易いということはないがしかし情け深い fact7: 仮にこの盆略手前は掻き抱かないとすると「そのコンサートは南メソジスト監督教会である一方で汚らしくない」ということは事実と異なる fact8: その堀跡は馴れ馴れしい fact9: 仮にその動作改善は馴れ馴れしくないとすると「それは残り易いということはないが情け深い」ということは事実と異なる fact10: 「そのコンサートは思い出深くない」ということは正しい ; $hypothesis$ = その動作改善は残り易くないけれど情け深い ; $proof$ = 
fact4 & fact8 -> int1: 「その他部門は口惜しい」ということは事実である; void -> assump1: 以下のように仮定する。その他部門は参加し続ける; int1 & assump1 -> int2: その他部門は口惜しいし参加し続ける; int2 & fact2 -> int3: 「この盆略手前は掻き抱かない」ということは確かである; int3 & fact7 -> int4: 「そのコンサートは南メソジスト監督教会だけれど汚らしくない」ということは間違いだ; fact10 & fact5 -> int5: そのコンサートは南メソジスト監督教会だ一方で汚らしくない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その他部門は参加し続けない; int7 & fact6 -> hypothesis; __PROVED__
事実1: その堀跡が参加し続けないならあの諸収入は馴れ馴れしくなくてしかもそれは口惜しくない
事実2: 仮にその他部門が口惜しくて参加し続けるとすればこの盆略手前は掻き抱くということはない
事実3: 仮になんらかの物が掻き抱くなら参加し続けるということはなくてそれは口惜しくない
事実4: その堀跡が馴れ馴れしいならその他部門は口惜しい
事実5: 仮にそのコンサートが思い出深くないとすると南メソジスト監督教会だし汚らしくない
事実6: もしその他部門が参加し続けるということはないとすればあの動作改善は残り易いということはないがしかし情け深い
事実7: 仮にこの盆略手前は掻き抱かないとすると「そのコンサートは南メソジスト監督教会である一方で汚らしくない」ということは事実と異なる
事実8: その堀跡は馴れ馴れしい
事実9: 仮にその動作改善は馴れ馴れしくないとすると「それは残り易いということはないが情け深い」ということは事実と異なる
事実10: 「そのコンサートは思い出深くない」ということは正しい

仮説: その動作改善は残り易くないけれど情け深い
1. 事実4と事実8から、推論1: "「その他部門は口惜しい」ということは事実である"が導かれる
2. 仮定1: 以下のように仮定する。その他部門は参加し続ける
3. 推論1と仮定1から、推論2: "その他部門は口惜しいし参加し続ける"が導かれる
4. 推論2と事実2から、推論3: "「この盆略手前は掻き抱かない」ということは確かである"が導かれる
5. 推論3と事実7から、推論4: "「そのコンサートは南メソジスト監督教会だけれど汚らしくない」ということは間違いだ"が導かれる
6. 事実10と事実5から、推論5: "そのコンサートは南メソジスト監督教会だ一方で汚らしくない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その他部門は参加し続けない"が導かれる
9. 推論7と事実6から、仮説が導かれる

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