もしもこの六層構造は勿体無くないなら「あのアラミドは醸造しない一方で郷士達である」ということは成り立たない
fact1: あの事業毎は度するがしかしそれは意見交換しない fact2: もしあのアラミドが意見交換するがしかし醸造するということはないとすればこの六層構造は勿体無い fact3: あのアラミドが起こし易いとするとこの六層構造は綴り方である fact4: もしこの上位下位は幅広いということはないとしたら「その腱鞘は高しない」ということは成り立つ fact5: この六層構造は幅広くないけど染み込み易い fact6: その病床区分が幅広いし意見交換するとしたら「あのアラミドは醸造する」ということは事実である fact7: もし仮にこの六層構造は幅広いということはないとしたら「その腱鞘は勿体無いということはない」ということは成り立つ fact8: 仮にこの六層構造が綴り方だけれどそれが勿体無くないとしたらその病床区分は合併し易い fact9: 「あのアラミドは綴り方であるしさらに郷士達だ」ということは間違っている fact10: もし「「幅広くない」ということは事実と異なる」ものはあれば「この上位下位は高しし加えて意見交換する」ということは誤っている fact11: もしその病床区分が起こし易くないとするとあのアラミドは意見交換しない fact12: もしもその腱鞘は起こし易いということはないならば「この六層構造は幅広くないがそれは綴り方だ」ということは成り立たない fact13: もしも「この上位下位は高ししその上意見交換する」ということは誤っているとしたらその病床区分は意見交換しない fact14: 「この六層構造は意見交換するししかも勿体無い」ということは誤りだ fact15: もしもこの六層構造は起こし易くないとしたら「あのアラミドは合併し易いししかも綴り方だ」ということは成り立たない fact16: あのアラミドは勿体無い fact17: もしとあるものが意見交換すればそれは郷士達だ fact18: あのアラミドは高し fact19: 仮にあのアラミドが綴り方だとしたらこの六層構造は起こし易い fact20: 「この六層構造は写し為さらない一方で起こし易い」ということは事実でない fact21: その腱鞘は幅広い fact22: あのアラミドは合併し易くない fact23: もし仮にあのアラミドが醸造するということはないがそれが郷士達なら起こし易い fact24: あのアラミドは採掘権である fact25: 仮に何らかのものが合併し易いとすると意見交換する
void -> assump1: 以下のように仮定する。あのアラミドは醸造しない一方で郷士達だ; fact23 & assump1 -> int1: 「あのアラミドは起こし易い」ということは真実だ; int1 & fact3 -> int2: この六層構造は綴り方だ; void -> assump2: 以下のように仮定する。この六層構造は勿体無くない; int2 & assump2 -> int3: この六層構造は綴り方だ一方でそれは勿体無いということはない; int3 & fact8 -> int4: その病床区分は合併し易い; fact25 -> int5: その病床区分が合併し易いなら意見交換する; int4 & int5 -> int6: その病床区分は意見交換する; fact21 -> int7: 「幅広い」物はある; fact10 & int7 -> int8: 「この上位下位は高ししさらに意見交換する」ということは成り立たない; int8 & fact13 -> int9: その病床区分は意見交換しない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「あのアラミドは醸造しないが郷士達だ」ということは間違っている; [assump2] & int11 -> hypothesis;
$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: あのアラミドは採掘権である fact25: 仮に何らかのものが合併し易いとすると意見交換する ; $hypothesis$ = もしもこの六層構造は勿体無くないなら「あのアラミドは醸造しない一方で郷士達である」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのアラミドは醸造しない一方で郷士達だ; fact23 & assump1 -> int1: 「あのアラミドは起こし易い」ということは真実だ; int1 & fact3 -> int2: この六層構造は綴り方だ; void -> assump2: 以下のように仮定する。この六層構造は勿体無くない; int2 & assump2 -> int3: この六層構造は綴り方だ一方でそれは勿体無いということはない; int3 & fact8 -> int4: その病床区分は合併し易い; fact25 -> int5: その病床区分が合併し易いなら意見交換する; int4 & int5 -> int6: その病床区分は意見交換する; fact21 -> int7: 「幅広い」物はある; fact10 & int7 -> int8: 「この上位下位は高ししさらに意見交換する」ということは成り立たない; int8 & fact13 -> int9: その病床区分は意見交換しない; int6 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: 「あのアラミドは醸造しないが郷士達だ」ということは間違っている; [assump2] & 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: あのアラミドは採掘権である
事実25: 仮に何らかのものが合併し易いとすると意見交換する

仮説: もしもこの六層構造は勿体無くないなら「あのアラミドは醸造しない一方で郷士達である」ということは成り立たない
1. 仮定1: 以下のように仮定する。あのアラミドは醸造しない一方で郷士達だ
2. 事実23と仮定1から、推論1: "「あのアラミドは起こし易い」ということは真実だ"が導かれる
3. 推論1と事実3から、推論2: "この六層構造は綴り方だ"が導かれる
4. 仮定2: 以下のように仮定する。この六層構造は勿体無くない
5. 推論2と仮定2から、推論3: "この六層構造は綴り方だ一方でそれは勿体無いということはない"が導かれる
6. 推論3と事実8から、推論4: "その病床区分は合併し易い"が導かれる
7. 事実25から、推論5: "その病床区分が合併し易いなら意見交換する"が導かれる
8. 推論4と推論5から、推論6: "その病床区分は意見交換する"が導かれる
9. 事実21から、推論7: "「幅広い」物はある"が導かれる
10. 事実10と推論7から、推論8: "「この上位下位は高ししさらに意見交換する」ということは成り立たない"が導かれる
11. 推論8と事実13から、推論9: "その病床区分は意見交換しない"が導かれる
12. 推論6と推論9から、推論10: "これは矛盾である"が導かれる
13. [仮定1]と推論10から、推論11: "「あのアラミドは醸造しないが郷士達だ」ということは間違っている"が導かれる
14. [仮定2]と推論11から、仮説が導かれる

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