その女房子供は根深くてそれに雑踏する
fact1: 仮にそのレイアウトスタイルは寒ーいとすると「市民グループだ」ということは正しい fact2: もし「「約百人だし更に渡り切る」ということは成り立たない」物はあるとすれば「あの福祉工場は堪え兼ねらない」ということは成り立つ fact3: その女房子供は雑踏するしまた進軍する fact4: 「「机上でないし等しくない」ということは誤っている」ものがあるとすればその女房子供は市民グループでない fact5: もしもあの各ファイルが机上だとするとその女房子供は根深い fact6: もし仮にそのレイアウトスタイルが寒ーくないとすればあの各ファイルは等しいけどそれは寒ーくない fact7: あの革新政党は濾過する fact8: 「そのレイアウトスタイルは堪え兼ねるかまたはそれは渡り切るか両方だ」ということは偽である fact9: なにかは堪え兼ねらないとすると根深くて更にそれは雑踏する fact10: もし仮にその女房子供が市民グループでないならそのレイアウトスタイルは進軍するということはないかまたは寒ーくない fact11: もしあの各ファイルは等しいけど寒ーくないとすればそれは机上だ fact12: 仮に「そのレイアウトスタイルは堪え兼ねるかまたはそれは渡り切るかどちらもである」ということは間違いだとすると市民グループでない fact13: なんらかの物は根深いとしたら「机上でないしそれは等しいということはない」ということは成り立たない fact14: 仮にそのレイアウトスタイルが進軍するということはないかまたはそれが寒ーくないならあの各ファイルは進軍する fact15: 「濾過する」物はあるとすれば「あの素丸は約百人だしさらに渡り切る」ということは間違っている
void -> assump1: 以下のように仮定する。そのレイアウトスタイルは寒ーい; fact1 & assump1 -> int1: そのレイアウトスタイルは市民グループだ; fact8 & fact12 -> int2: そのレイアウトスタイルは市民グループでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのレイアウトスタイルは寒ーくない; int4 & fact6 -> int5: あの各ファイルは等しいが寒ーくない; int5 & fact11 -> int6: あの各ファイルは机上だ; int6 & fact5 -> int7: その女房子供は根深い; fact3 -> int8: その女房子供は雑踏する; int7 & int8 -> hypothesis;
あの各ファイルは進軍する
fact18 -> int9: あの福祉工場は根深いならば「それは机上であるということはないし加えて等しいということはない」ということは事実と異なる; fact17 -> int10: 仮にあの福祉工場が堪え兼ねるということはないなら根深いし加えて雑踏する; fact23 -> int11: 「濾過する」ものはある; int11 & fact16 -> int12: 「あの素丸は約百人だし渡り切る」ということは本当でない; int12 -> int13: 「「約百人だしそれに渡り切る」ということは成り立たない」ものはある; int13 & fact19 -> int14: 「あの福祉工場は堪え兼ねらない」ということは成り立つ; int10 & int14 -> int15: あの福祉工場は根深くてさらに雑踏する; int15 -> int16: あの福祉工場は根深い; int9 & int16 -> int17: 「あの福祉工場は机上でないし等しくない」ということは成り立つということはない; int17 -> int18: 「「机上でなくてしかも等しくない」ということは成り立たない」ものはある; int18 & fact20 -> int19: その女房子供は市民グループでない; fact21 & int19 -> int20: そのレイアウトスタイルは進軍しないかもしくは寒ーくないか両方ともだ; fact22 & int20 -> hypothesis;
$facts$ = fact1: 仮にそのレイアウトスタイルは寒ーいとすると「市民グループだ」ということは正しい fact2: もし「「約百人だし更に渡り切る」ということは成り立たない」物はあるとすれば「あの福祉工場は堪え兼ねらない」ということは成り立つ fact3: その女房子供は雑踏するしまた進軍する fact4: 「「机上でないし等しくない」ということは誤っている」ものがあるとすればその女房子供は市民グループでない fact5: もしもあの各ファイルが机上だとするとその女房子供は根深い fact6: もし仮にそのレイアウトスタイルが寒ーくないとすればあの各ファイルは等しいけどそれは寒ーくない fact7: あの革新政党は濾過する fact8: 「そのレイアウトスタイルは堪え兼ねるかまたはそれは渡り切るか両方だ」ということは偽である fact9: なにかは堪え兼ねらないとすると根深くて更にそれは雑踏する fact10: もし仮にその女房子供が市民グループでないならそのレイアウトスタイルは進軍するということはないかまたは寒ーくない fact11: もしあの各ファイルは等しいけど寒ーくないとすればそれは机上だ fact12: 仮に「そのレイアウトスタイルは堪え兼ねるかまたはそれは渡り切るかどちらもである」ということは間違いだとすると市民グループでない fact13: なんらかの物は根深いとしたら「机上でないしそれは等しいということはない」ということは成り立たない fact14: 仮にそのレイアウトスタイルが進軍するということはないかまたはそれが寒ーくないならあの各ファイルは進軍する fact15: 「濾過する」物はあるとすれば「あの素丸は約百人だしさらに渡り切る」ということは間違っている ; $hypothesis$ = その女房子供は根深くてそれに雑踏する ; $proof$ = 
void -> assump1: 以下のように仮定する。そのレイアウトスタイルは寒ーい; fact1 & assump1 -> int1: そのレイアウトスタイルは市民グループだ; fact8 & fact12 -> int2: そのレイアウトスタイルは市民グループでない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: そのレイアウトスタイルは寒ーくない; int4 & fact6 -> int5: あの各ファイルは等しいが寒ーくない; int5 & fact11 -> int6: あの各ファイルは机上だ; int6 & fact5 -> int7: その女房子供は根深い; fact3 -> int8: その女房子供は雑踏する; int7 & int8 -> hypothesis; __PROVED__
事実1: 仮にそのレイアウトスタイルは寒ーいとすると「市民グループだ」ということは正しい
事実2: もし「「約百人だし更に渡り切る」ということは成り立たない」物はあるとすれば「あの福祉工場は堪え兼ねらない」ということは成り立つ
事実3: その女房子供は雑踏するしまた進軍する
事実4: 「「机上でないし等しくない」ということは誤っている」ものがあるとすればその女房子供は市民グループでない
事実5: もしもあの各ファイルが机上だとするとその女房子供は根深い
事実6: もし仮にそのレイアウトスタイルが寒ーくないとすればあの各ファイルは等しいけどそれは寒ーくない
事実7: あの革新政党は濾過する
事実8: 「そのレイアウトスタイルは堪え兼ねるかまたはそれは渡り切るか両方だ」ということは偽である
事実9: なにかは堪え兼ねらないとすると根深くて更にそれは雑踏する
事実10: もし仮にその女房子供が市民グループでないならそのレイアウトスタイルは進軍するということはないかまたは寒ーくない
事実11: もしあの各ファイルは等しいけど寒ーくないとすればそれは机上だ
事実12: 仮に「そのレイアウトスタイルは堪え兼ねるかまたはそれは渡り切るかどちらもである」ということは間違いだとすると市民グループでない
事実13: なんらかの物は根深いとしたら「机上でないしそれは等しいということはない」ということは成り立たない
事実14: 仮にそのレイアウトスタイルが進軍するということはないかまたはそれが寒ーくないならあの各ファイルは進軍する
事実15: 「濾過する」物はあるとすれば「あの素丸は約百人だしさらに渡り切る」ということは間違っている

仮説: その女房子供は根深くてそれに雑踏する
1. 仮定1: 以下のように仮定する。そのレイアウトスタイルは寒ーい
2. 事実1と仮定1から、推論1: "そのレイアウトスタイルは市民グループだ"が導かれる
3. 事実8と事実12から、推論2: "そのレイアウトスタイルは市民グループでない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "そのレイアウトスタイルは寒ーくない"が導かれる
6. 推論4と事実6から、推論5: "あの各ファイルは等しいが寒ーくない"が導かれる
7. 推論5と事実11から、推論6: "あの各ファイルは机上だ"が導かれる
8. 推論6と事実5から、推論7: "その女房子供は根深い"が導かれる
9. 事実3から、推論8: "その女房子供は雑踏する"が導かれる
10. 推論7と推論8から、仮説が導かれる

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