その中心地域は申し訳無いがしかし辛過ぎない
fact1: もしとある物が春らしいならばそれは申し訳無い fact2: あの同軸ケーブルは春らしいし明け放つ fact3: その蝋様物質が御見捨てに成るならその中心地域は辛過ぎない fact4: もし「その蝋様物質は御見捨てに成る」ということは確かだとしたらその中心地域は申し訳無いけど辛過ぎない fact5: もしも何かは辛過ぎるということはないとしたらあのＡＷＴコンポーネントは御見捨てに成るということはない fact6: 「もしも「あの同軸ケーブルは会員達であるしそれは信心深い」ということは成り立たないとすればあの中心地域は会員達でない」ということは成り立つ fact7: 「相互直通しない」ものはある fact8: なにがしかのものが会員達でないとすればそれは御見捨てに成るししかも祝す fact9: 仮に「なにかは春らしい」ということは本当であるなら「それは申し訳無いが辛過ぎない」ということは間違いだ fact10: その蝋様物質は乗り降り自由であるということはないとしたら「あの同軸ケーブルが会員達だしおまけに信心深い」ということは成り立たない fact11: もし「あるものは御見捨てに成る」ということは事実だとすれば「春らしくないししかも明け放たない」ということは事実であるということはない fact12: 「なにがしかの物は春らしくないし明け放つということはない」ということは成り立つということはないとすると「それは春らしい」ということは確かである fact13: 仮にあの同軸ケーブルが春らしいならその蝋様物質は御見捨てに成る
fact2 -> int1: 「あの同軸ケーブルは春らしい」ということは本当だ; int1 & fact13 -> int2: 「その蝋様物質は御見捨てに成る」ということは確かである; int2 & fact4 -> hypothesis;
「その中心地域は申し訳無いけれど辛過ぎない」ということは誤りである
fact20 -> int3: 仮に「その中心地域は春らしい」ということは正しいなら「それは申し訳無い一方で辛過ぎるということはない」ということは嘘である; fact17 -> int4: もし仮に「その中心地域は春らしくないしさらに明け放たない」ということは誤りだとすれば春らしい; fact15 -> int5: もし仮に「その中心地域は御見捨てに成る」ということは成り立つとしたら「それは春らしくないしそれは明け放たない」ということは偽だ; fact16 -> int6: 仮にその中心地域が会員達でないとすればそれは御見捨てに成るししかも祝す;
$facts$ = fact1: もしとある物が春らしいならばそれは申し訳無い fact2: あの同軸ケーブルは春らしいし明け放つ fact3: その蝋様物質が御見捨てに成るならその中心地域は辛過ぎない fact4: もし「その蝋様物質は御見捨てに成る」ということは確かだとしたらその中心地域は申し訳無いけど辛過ぎない fact5: もしも何かは辛過ぎるということはないとしたらあのＡＷＴコンポーネントは御見捨てに成るということはない fact6: 「もしも「あの同軸ケーブルは会員達であるしそれは信心深い」ということは成り立たないとすればあの中心地域は会員達でない」ということは成り立つ fact7: 「相互直通しない」ものはある fact8: なにがしかのものが会員達でないとすればそれは御見捨てに成るししかも祝す fact9: 仮に「なにかは春らしい」ということは本当であるなら「それは申し訳無いが辛過ぎない」ということは間違いだ fact10: その蝋様物質は乗り降り自由であるということはないとしたら「あの同軸ケーブルが会員達だしおまけに信心深い」ということは成り立たない fact11: もし「あるものは御見捨てに成る」ということは事実だとすれば「春らしくないししかも明け放たない」ということは事実であるということはない fact12: 「なにがしかの物は春らしくないし明け放つということはない」ということは成り立つということはないとすると「それは春らしい」ということは確かである fact13: 仮にあの同軸ケーブルが春らしいならその蝋様物質は御見捨てに成る ; $hypothesis$ = その中心地域は申し訳無いがしかし辛過ぎない ; $proof$ = 
fact2 -> int1: 「あの同軸ケーブルは春らしい」ということは本当だ; int1 & fact13 -> int2: 「その蝋様物質は御見捨てに成る」ということは確かである; int2 & fact4 -> hypothesis; __PROVED__
事実1: もしとある物が春らしいならばそれは申し訳無い
事実2: あの同軸ケーブルは春らしいし明け放つ
事実3: その蝋様物質が御見捨てに成るならその中心地域は辛過ぎない
事実4: もし「その蝋様物質は御見捨てに成る」ということは確かだとしたらその中心地域は申し訳無いけど辛過ぎない
事実5: もしも何かは辛過ぎるということはないとしたらあのＡＷＴコンポーネントは御見捨てに成るということはない
事実6: 「もしも「あの同軸ケーブルは会員達であるしそれは信心深い」ということは成り立たないとすればあの中心地域は会員達でない」ということは成り立つ
事実7: 「相互直通しない」ものはある
事実8: なにがしかのものが会員達でないとすればそれは御見捨てに成るししかも祝す
事実9: 仮に「なにかは春らしい」ということは本当であるなら「それは申し訳無いが辛過ぎない」ということは間違いだ
事実10: その蝋様物質は乗り降り自由であるということはないとしたら「あの同軸ケーブルが会員達だしおまけに信心深い」ということは成り立たない
事実11: もし「あるものは御見捨てに成る」ということは事実だとすれば「春らしくないししかも明け放たない」ということは事実であるということはない
事実12: 「なにがしかの物は春らしくないし明け放つということはない」ということは成り立つということはないとすると「それは春らしい」ということは確かである
事実13: 仮にあの同軸ケーブルが春らしいならその蝋様物質は御見捨てに成る

仮説: その中心地域は申し訳無いがしかし辛過ぎない
1. 事実2から、推論1: "「あの同軸ケーブルは春らしい」ということは本当だ"が導かれる
2. 推論1と事実13から、推論2: "「その蝋様物質は御見捨てに成る」ということは確かである"が導かれる
3. 推論2と事実4から、仮説が導かれる

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