もしあの自治会室が接続出来るならこの街路樹はＮＯＮだ
fact1: もしあの自治会室がＮＯＮであるけれどそれが取り辛くないとするとあの大学野球はＮＯＮである fact2: この街路樹は握り易い fact3: 仮になにがしかの物は接続出来るということはないならば「ＮＯＮである一方で取り辛くない」ということは本当だ fact4: もしも「この新宿西口は握り易くない」ということは本当であるならばこの街路樹は握り易くてさらにＮＯＮだ fact5: もし仮にある物が平均月商だということはないなら接続出来なくてしかも握り易くない fact6: 「仮にあの自治会室は握り易くておまけに取り辛いとすると「この新宿西口は接続出来ない」ということは確かである」ということは誤りであるということはない fact7: 仮にあの自治会室が接続出来るしそれに取り辛いとすればこの新宿西口は握り易くない fact8: あの自治会室は取り辛い fact9: もしこの新宿西口は有価証券であるということはないとするとそれは明る過ぎないかまたはそれは上げ過ぎるということはないか両方ともだ
void -> assump1: 以下のように仮定する。あの自治会室は接続出来る; assump1 & fact8 -> int1: 「あの自治会室は接続出来るしそれに取り辛い」ということは確かだ; int1 & fact7 -> int2: この新宿西口は握り易くない; int2 & fact4 -> int3: この街路樹は握り易くておまけにＮＯＮである; int3 -> int4: この街路樹はＮＯＮだ; [assump1] & int4 -> hypothesis;
あの大学野球はＮＯＮである
fact10 -> int5: もしもあの自治会室が接続出来ないならＮＯＮであるがしかし取り辛いということはない; fact13 -> int6: 仮にあの自治会室は平均月商であるということはないなら接続出来るということはなくて加えて握り易くない;
$facts$ = fact1: もしあの自治会室がＮＯＮであるけれどそれが取り辛くないとするとあの大学野球はＮＯＮである fact2: この街路樹は握り易い fact3: 仮になにがしかの物は接続出来るということはないならば「ＮＯＮである一方で取り辛くない」ということは本当だ fact4: もしも「この新宿西口は握り易くない」ということは本当であるならばこの街路樹は握り易くてさらにＮＯＮだ fact5: もし仮にある物が平均月商だということはないなら接続出来なくてしかも握り易くない fact6: 「仮にあの自治会室は握り易くておまけに取り辛いとすると「この新宿西口は接続出来ない」ということは確かである」ということは誤りであるということはない fact7: 仮にあの自治会室が接続出来るしそれに取り辛いとすればこの新宿西口は握り易くない fact8: あの自治会室は取り辛い fact9: もしこの新宿西口は有価証券であるということはないとするとそれは明る過ぎないかまたはそれは上げ過ぎるということはないか両方ともだ ; $hypothesis$ = もしあの自治会室が接続出来るならこの街路樹はＮＯＮだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの自治会室は接続出来る; assump1 & fact8 -> int1: 「あの自治会室は接続出来るしそれに取り辛い」ということは確かだ; int1 & fact7 -> int2: この新宿西口は握り易くない; int2 & fact4 -> int3: この街路樹は握り易くておまけにＮＯＮである; int3 -> int4: この街路樹はＮＯＮだ; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もしあの自治会室がＮＯＮであるけれどそれが取り辛くないとするとあの大学野球はＮＯＮである
事実2: この街路樹は握り易い
事実3: 仮になにがしかの物は接続出来るということはないならば「ＮＯＮである一方で取り辛くない」ということは本当だ
事実4: もしも「この新宿西口は握り易くない」ということは本当であるならばこの街路樹は握り易くてさらにＮＯＮだ
事実5: もし仮にある物が平均月商だということはないなら接続出来なくてしかも握り易くない
事実6: 「仮にあの自治会室は握り易くておまけに取り辛いとすると「この新宿西口は接続出来ない」ということは確かである」ということは誤りであるということはない
事実7: 仮にあの自治会室が接続出来るしそれに取り辛いとすればこの新宿西口は握り易くない
事実8: あの自治会室は取り辛い
事実9: もしこの新宿西口は有価証券であるということはないとするとそれは明る過ぎないかまたはそれは上げ過ぎるということはないか両方ともだ

仮説: もしあの自治会室が接続出来るならこの街路樹はＮＯＮだ
1. 仮定1: 以下のように仮定する。あの自治会室は接続出来る
2. 仮定1と事実8から、推論1: "「あの自治会室は接続出来るしそれに取り辛い」ということは確かだ"が導かれる
3. 推論1と事実7から、推論2: "この新宿西口は握り易くない"が導かれる
4. 推論2と事実4から、推論3: "この街路樹は握り易くておまけにＮＯＮである"が導かれる
5. 推論3から、推論4: "この街路樹はＮＯＮだ"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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