この金属結合は吸収され易い
fact1: もし「あの契約前は解雇予告だけれど障るということはない」ということは成り立つということはないとするとこの金属結合は切れ落ちる fact2: 仮に何らかの物は盛り返さないけど二千一Ａであるなら吸収され易い fact3: もしこの金属結合が育ち難いかもしくはそれが思い合うとすればそれは吸収され易くない fact4: 「二千一Ａでない」物があるとするとこの金属結合は盛り返さなくて加えて緩解であるということはない fact5: 「二千一Ａでない」物はある fact6: もしあの水生生物はむさくないがしかし古めかしいとすると集落跡である fact7: 「あの契約前は解雇予告であるけれど障らない」ということは成り立たない fact8: もしこの金属結合が切れ落ちればそれはむさい fact9: この金属結合が盛り返さないししかもそれは緩解でないとしたら食い締める fact10: 仮に何らかの物が食い締めるしむさいなら「恵み深いということはない」ということは真実だ fact11: もしもこの金属結合が恵み深いということはないとすると与し易いしかつ思い合う
fact5 & fact4 -> int1: この金属結合は盛り返さなくて緩解でない; int1 & fact9 -> int2: 「この金属結合は食い締める」ということは真実である; fact1 & fact7 -> int3: この金属結合は切れ落ちる; int3 & fact8 -> int4: この金属結合はむさい; int2 & int4 -> int5: 「この金属結合は食い締めるしまたむさい」ということは成り立つ; fact10 -> int6: この金属結合が食い締めるしおまけにむさいとしたらそれは恵み深くない; int5 & int6 -> int7: 「この金属結合は恵み深くない」ということは正しい; int7 & fact11 -> int8: この金属結合は与し易くてそれに思い合う; int8 -> int9: この金属結合は思い合う; int9 -> int10: この金属結合は育ち難いかあるいは思い合うかあるいは両方ともである; int10 & fact3 -> hypothesis;
この金属結合は吸収され易い
fact12 -> int11: この金属結合は盛り返さないけれど二千一Ａだとしたら吸収され易い;
$facts$ = fact1: もし「あの契約前は解雇予告だけれど障るということはない」ということは成り立つということはないとするとこの金属結合は切れ落ちる fact2: 仮に何らかの物は盛り返さないけど二千一Ａであるなら吸収され易い fact3: もしこの金属結合が育ち難いかもしくはそれが思い合うとすればそれは吸収され易くない fact4: 「二千一Ａでない」物があるとするとこの金属結合は盛り返さなくて加えて緩解であるということはない fact5: 「二千一Ａでない」物はある fact6: もしあの水生生物はむさくないがしかし古めかしいとすると集落跡である fact7: 「あの契約前は解雇予告であるけれど障らない」ということは成り立たない fact8: もしこの金属結合が切れ落ちればそれはむさい fact9: この金属結合が盛り返さないししかもそれは緩解でないとしたら食い締める fact10: 仮に何らかの物が食い締めるしむさいなら「恵み深いということはない」ということは真実だ fact11: もしもこの金属結合が恵み深いということはないとすると与し易いしかつ思い合う ; $hypothesis$ = この金属結合は吸収され易い ; $proof$ = 
fact5 & fact4 -> int1: この金属結合は盛り返さなくて緩解でない; int1 & fact9 -> int2: 「この金属結合は食い締める」ということは真実である; fact1 & fact7 -> int3: この金属結合は切れ落ちる; int3 & fact8 -> int4: この金属結合はむさい; int2 & int4 -> int5: 「この金属結合は食い締めるしまたむさい」ということは成り立つ; fact10 -> int6: この金属結合が食い締めるしおまけにむさいとしたらそれは恵み深くない; int5 & int6 -> int7: 「この金属結合は恵み深くない」ということは正しい; int7 & fact11 -> int8: この金属結合は与し易くてそれに思い合う; int8 -> int9: この金属結合は思い合う; int9 -> int10: この金属結合は育ち難いかあるいは思い合うかあるいは両方ともである; int10 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「あの契約前は解雇予告だけれど障るということはない」ということは成り立つということはないとするとこの金属結合は切れ落ちる
事実2: 仮に何らかの物は盛り返さないけど二千一Ａであるなら吸収され易い
事実3: もしこの金属結合が育ち難いかもしくはそれが思い合うとすればそれは吸収され易くない
事実4: 「二千一Ａでない」物があるとするとこの金属結合は盛り返さなくて加えて緩解であるということはない
事実5: 「二千一Ａでない」物はある
事実6: もしあの水生生物はむさくないがしかし古めかしいとすると集落跡である
事実7: 「あの契約前は解雇予告であるけれど障らない」ということは成り立たない
事実8: もしこの金属結合が切れ落ちればそれはむさい
事実9: この金属結合が盛り返さないししかもそれは緩解でないとしたら食い締める
事実10: 仮に何らかの物が食い締めるしむさいなら「恵み深いということはない」ということは真実だ
事実11: もしもこの金属結合が恵み深いということはないとすると与し易いしかつ思い合う

仮説: この金属結合は吸収され易い
1. 事実5と事実4から、推論1: "この金属結合は盛り返さなくて緩解でない"が導かれる
2. 推論1と事実9から、推論2: "「この金属結合は食い締める」ということは真実である"が導かれる
3. 事実1と事実7から、推論3: "この金属結合は切れ落ちる"が導かれる
4. 推論3と事実8から、推論4: "この金属結合はむさい"が導かれる
5. 推論2と推論4から、推論5: "「この金属結合は食い締めるしまたむさい」ということは成り立つ"が導かれる
6. 事実10から、推論6: "この金属結合が食い締めるしおまけにむさいとしたらそれは恵み深くない"が導かれる
7. 推論5と推論6から、推論7: "「この金属結合は恵み深くない」ということは正しい"が導かれる
8. 推論7と事実11から、推論8: "この金属結合は与し易くてそれに思い合う"が導かれる
9. 推論8から、推論9: "この金属結合は思い合う"が導かれる
10. 推論9から、推論10: "この金属結合は育ち難いかあるいは思い合うかあるいは両方ともである"が導かれる
11. 推論10と事実3から、仮説が否定される

よって、仮説が否定されました。