この便宜上は言うしさらにそれは悩ましい
fact1: もしも「歌垣でない」ものはあるとしたら「その縫合法は格好悪い」ということは事実だ fact2: このブロードバンド回線は格好悪い fact3: 「あの番士はし易い」ということは本当である fact4: あの番士は通説・判例だ fact5: 仮にその縫合法は格好悪いなら「あの番士は立法化する」ということは本当だ fact6: その個人施行者はシステム構築である fact7: その個人施行者が悩ましいならこの便宜上は歌垣だ fact8: その個人施行者は言うとすれば「それは格好悪い一方で悩ましくない」ということは成り立たない fact9: もし仮に格好悪い物が立法化しないならば掛け離れない fact10: あの番士は学術団体だ fact11: 仮に「その個人施行者は格好悪いけれど悩ましくない」ということは成り立たないとしたらこのブロードバンド回線は格好悪い fact12: 仮にこのブロードバンド回線は掛け離れないなら「その個人施行者は経産でないがしかし歌垣だ」ということは間違っている fact13: 「「経産であるしかつ歌垣だ」ということは成り立たない」ものはある fact14: もし仮に何らかのものは掛け離れるということはないなら「それは言うし悩ましい」ということは成り立たない fact15: もしもあの番士は学術団体であるとすると立法化するということはないけれどし易い fact16: この便宜上は受託事業収入である fact17: もしあの番士が学術団体ならし易い fact18: この便宜上が受託事業収入だしさらにそれはシステム構築である fact19: あの番士はうようよするしそれは予想物価上昇率だ fact20: 「この便宜上はシステム構築である」ということは正しいならそれは悩ましい fact21: このブロードバンド回線が掛け離れるとするとこの便宜上は言う fact22: 「経産でなくてしかも歌垣な」物はある fact23: 「その個人施行者は悩ましい」ということは間違いだ fact24: 仮に「「経産でないしかつ歌垣だ」ということは嘘である」物はあるとすれば「その縫合法は格好悪い」ということは成り立つ
void -> assump1: 以下のように仮定する。このブロードバンド回線は掛け離れない; fact12 & assump1 -> int1: 「その個人施行者は経産だということはないけど歌垣だ」ということは嘘である; int1 -> int2: 「「経産だということはないけど歌垣だ」ということは誤りである」ものはある; int2 & fact24 -> int3: その縫合法は格好悪い; int3 & fact5 -> int4: あの番士は立法化する; fact10 & fact15 -> int5: あの番士は立法化しない一方でし易い; int5 -> int6: あの番士は立法化するということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このブロードバンド回線は掛け離れる; int8 & fact21 -> int9: この便宜上は言う; fact18 -> int10: この便宜上はシステム構築である; int10 & fact20 -> int11: この便宜上は悩ましい; int9 & int11 -> hypothesis;
「「この便宜上は言うしそれは悩ましい」ということは成り立つ」ということは嘘だ
fact25 -> int12: もしもこの便宜上は掛け離れないならば「それは言うしまた悩ましい」ということは間違いだ; fact26 -> int13: 仮に「この便宜上は格好悪いけれど立法化するということはない」ということは本当ならば掛け離れない;
$facts$ = fact1: もしも「歌垣でない」ものはあるとしたら「その縫合法は格好悪い」ということは事実だ fact2: このブロードバンド回線は格好悪い fact3: 「あの番士はし易い」ということは本当である fact4: あの番士は通説・判例だ fact5: 仮にその縫合法は格好悪いなら「あの番士は立法化する」ということは本当だ fact6: その個人施行者はシステム構築である fact7: その個人施行者が悩ましいならこの便宜上は歌垣だ fact8: その個人施行者は言うとすれば「それは格好悪い一方で悩ましくない」ということは成り立たない fact9: もし仮に格好悪い物が立法化しないならば掛け離れない fact10: あの番士は学術団体だ fact11: 仮に「その個人施行者は格好悪いけれど悩ましくない」ということは成り立たないとしたらこのブロードバンド回線は格好悪い fact12: 仮にこのブロードバンド回線は掛け離れないなら「その個人施行者は経産でないがしかし歌垣だ」ということは間違っている fact13: 「「経産であるしかつ歌垣だ」ということは成り立たない」ものはある fact14: もし仮に何らかのものは掛け離れるということはないなら「それは言うし悩ましい」ということは成り立たない fact15: もしもあの番士は学術団体であるとすると立法化するということはないけれどし易い fact16: この便宜上は受託事業収入である fact17: もしあの番士が学術団体ならし易い fact18: この便宜上が受託事業収入だしさらにそれはシステム構築である fact19: あの番士はうようよするしそれは予想物価上昇率だ fact20: 「この便宜上はシステム構築である」ということは正しいならそれは悩ましい fact21: このブロードバンド回線が掛け離れるとするとこの便宜上は言う fact22: 「経産でなくてしかも歌垣な」物はある fact23: 「その個人施行者は悩ましい」ということは間違いだ fact24: 仮に「「経産でないしかつ歌垣だ」ということは嘘である」物はあるとすれば「その縫合法は格好悪い」ということは成り立つ ; $hypothesis$ = この便宜上は言うしさらにそれは悩ましい ; $proof$ = 
void -> assump1: 以下のように仮定する。このブロードバンド回線は掛け離れない; fact12 & assump1 -> int1: 「その個人施行者は経産だということはないけど歌垣だ」ということは嘘である; int1 -> int2: 「「経産だということはないけど歌垣だ」ということは誤りである」ものはある; int2 & fact24 -> int3: その縫合法は格好悪い; int3 & fact5 -> int4: あの番士は立法化する; fact10 & fact15 -> int5: あの番士は立法化しない一方でし易い; int5 -> int6: あの番士は立法化するということはない; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: このブロードバンド回線は掛け離れる; int8 & fact21 -> int9: この便宜上は言う; fact18 -> int10: この便宜上はシステム構築である; int10 & fact20 -> int11: この便宜上は悩ましい; int9 & int11 -> hypothesis; __PROVED__
事実1: もしも「歌垣でない」ものはあるとしたら「その縫合法は格好悪い」ということは事実だ
事実2: このブロードバンド回線は格好悪い
事実3: 「あの番士はし易い」ということは本当である
事実4: あの番士は通説・判例だ
事実5: 仮にその縫合法は格好悪いなら「あの番士は立法化する」ということは本当だ
事実6: その個人施行者はシステム構築である
事実7: その個人施行者が悩ましいならこの便宜上は歌垣だ
事実8: その個人施行者は言うとすれば「それは格好悪い一方で悩ましくない」ということは成り立たない
事実9: もし仮に格好悪い物が立法化しないならば掛け離れない
事実10: あの番士は学術団体だ
事実11: 仮に「その個人施行者は格好悪いけれど悩ましくない」ということは成り立たないとしたらこのブロードバンド回線は格好悪い
事実12: 仮にこのブロードバンド回線は掛け離れないなら「その個人施行者は経産でないがしかし歌垣だ」ということは間違っている
事実13: 「「経産であるしかつ歌垣だ」ということは成り立たない」ものはある
事実14: もし仮に何らかのものは掛け離れるということはないなら「それは言うし悩ましい」ということは成り立たない
事実15: もしもあの番士は学術団体であるとすると立法化するということはないけれどし易い
事実16: この便宜上は受託事業収入である
事実17: もしあの番士が学術団体ならし易い
事実18: この便宜上が受託事業収入だしさらにそれはシステム構築である
事実19: あの番士はうようよするしそれは予想物価上昇率だ
事実20: 「この便宜上はシステム構築である」ということは正しいならそれは悩ましい
事実21: このブロードバンド回線が掛け離れるとするとこの便宜上は言う
事実22: 「経産でなくてしかも歌垣な」物はある
事実23: 「その個人施行者は悩ましい」ということは間違いだ
事実24: 仮に「「経産でないしかつ歌垣だ」ということは嘘である」物はあるとすれば「その縫合法は格好悪い」ということは成り立つ

仮説: この便宜上は言うしさらにそれは悩ましい
1. 仮定1: 以下のように仮定する。このブロードバンド回線は掛け離れない
2. 事実12と仮定1から、推論1: "「その個人施行者は経産だということはないけど歌垣だ」ということは嘘である"が導かれる
3. 推論1から、推論2: "「「経産だということはないけど歌垣だ」ということは誤りである」ものはある"が導かれる
4. 推論2と事実24から、推論3: "その縫合法は格好悪い"が導かれる
5. 推論3と事実5から、推論4: "あの番士は立法化する"が導かれる
6. 事実10と事実15から、推論5: "あの番士は立法化しない一方でし易い"が導かれる
7. 推論5から、推論6: "あの番士は立法化するということはない"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "このブロードバンド回線は掛け離れる"が導かれる
10. 推論8と事実21から、推論9: "この便宜上は言う"が導かれる
11. 事実18から、推論10: "この便宜上はシステム構築である"が導かれる
12. 推論10と事実20から、推論11: "この便宜上は悩ましい"が導かれる
13. 推論9と推論11から、仮説が導かれる

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