この冷凍サイクルは飽き足りる
fact1: その金賞は束縛するししかも白々しい fact2: 仮に染み込み易い物は印鑑証明であるなら媒介しない fact3: 仮にこの冷凍サイクルが撃滅するならこの充血は来し易くない一方で痛飲する fact4: この冷凍サイクルは染み込み易い fact5: もし仮にこの冷凍サイクルは媒介するとすれば「この充血は染み込み易い」ということは成り立つ fact6: その金賞が束縛するしおまけに白々しいとすればあの天皇イメージはスポーツマンらしくない fact7: この冷凍サイクルは印鑑証明であるとすれば「この充血は媒介する」ということは成り立つ fact8: この充血は媒介するし印鑑証明だとすると飽き足りない fact9: もし仮になにがしかのものは来し易くないとすると「飽き足りないしまたそれは入手し易い」ということは成り立たない fact10: この充血は印鑑証明である fact11: もし仮にこの充血が入手し易いならこの冷凍サイクルは飽き足りる fact12: なんらかの物が媒介するということはないとすると印鑑証明だしおまけに染み込み易い fact13: 「その金賞は印鑑証明でないが飽き足りる」ということは真実でないならばあの天皇イメージは飽き足りない fact14: もし「「飽き足りない一方で入手し易い」ということは成り立たない」ものがあるとすればその眼鏡犬は媒介しない fact15: もし仮にあの天皇イメージがスポーツマンらしくないとしたらこの冷凍サイクルは撃滅するしまた同期化する fact16: この充血は染み込み易い fact17: もし仮にこの充血が媒介するしそれは飽き足りるとすると「それは染み込み易くない」ということは確かだ fact18: この充血が媒介しないとすればそれは入手し易い fact19: もしもこの充血は飽き足りるなら「この冷凍サイクルは染み込み易い」ということは確かである fact20: この冷凍サイクルは入手し易い fact21: その州県は入手し易い
fact16 & fact10 -> int1: この充血は染み込み易いしそれは印鑑証明だ; fact2 -> int2: もしもこの充血が染み込み易くてかつそれは印鑑証明であるとしたら「媒介しない」ということは本当だ; int1 & int2 -> int3: この充血は媒介しない; int3 & fact18 -> int4: この充血は入手し易い; int4 & fact11 -> hypothesis;
その眼鏡犬は印鑑証明である
fact26 -> int5: もしその眼鏡犬が媒介しないならば印鑑証明であるしそれは染み込み易い; fact23 -> int6: 仮にこの充血は来し易くないとすると「それは飽き足りないがしかし入手し易い」ということは偽だ; fact24 & fact27 -> int7: あの天皇イメージはスポーツマンらしいということはない; fact25 & int7 -> int8: この冷凍サイクルは撃滅するしそれは同期化する; int8 -> int9: この冷凍サイクルは撃滅する; fact22 & int9 -> int10: この充血は来し易くないけれど痛飲する; int10 -> int11: この充血は来し易くない; int6 & int11 -> int12: 「この充血は飽き足りないけどそれは入手し易い」ということは嘘だ; int12 -> int13: 「「飽き足りなくて入手し易い」ということは成り立たない」ものはある; int13 & fact28 -> int14: その眼鏡犬は媒介しない; int5 & int14 -> int15: その眼鏡犬は印鑑証明であるし染み込み易い; int15 -> hypothesis;
$facts$ = fact1: その金賞は束縛するししかも白々しい fact2: 仮に染み込み易い物は印鑑証明であるなら媒介しない fact3: 仮にこの冷凍サイクルが撃滅するならこの充血は来し易くない一方で痛飲する fact4: この冷凍サイクルは染み込み易い fact5: もし仮にこの冷凍サイクルは媒介するとすれば「この充血は染み込み易い」ということは成り立つ fact6: その金賞が束縛するしおまけに白々しいとすればあの天皇イメージはスポーツマンらしくない fact7: この冷凍サイクルは印鑑証明であるとすれば「この充血は媒介する」ということは成り立つ fact8: この充血は媒介するし印鑑証明だとすると飽き足りない fact9: もし仮になにがしかのものは来し易くないとすると「飽き足りないしまたそれは入手し易い」ということは成り立たない fact10: この充血は印鑑証明である fact11: もし仮にこの充血が入手し易いならこの冷凍サイクルは飽き足りる fact12: なんらかの物が媒介するということはないとすると印鑑証明だしおまけに染み込み易い fact13: 「その金賞は印鑑証明でないが飽き足りる」ということは真実でないならばあの天皇イメージは飽き足りない fact14: もし「「飽き足りない一方で入手し易い」ということは成り立たない」ものがあるとすればその眼鏡犬は媒介しない fact15: もし仮にあの天皇イメージがスポーツマンらしくないとしたらこの冷凍サイクルは撃滅するしまた同期化する fact16: この充血は染み込み易い fact17: もし仮にこの充血が媒介するしそれは飽き足りるとすると「それは染み込み易くない」ということは確かだ fact18: この充血が媒介しないとすればそれは入手し易い fact19: もしもこの充血は飽き足りるなら「この冷凍サイクルは染み込み易い」ということは確かである fact20: この冷凍サイクルは入手し易い fact21: その州県は入手し易い ; $hypothesis$ = この冷凍サイクルは飽き足りる ; $proof$ = 
fact16 & fact10 -> int1: この充血は染み込み易いしそれは印鑑証明だ; fact2 -> int2: もしもこの充血が染み込み易くてかつそれは印鑑証明であるとしたら「媒介しない」ということは本当だ; int1 & int2 -> int3: この充血は媒介しない; int3 & fact18 -> int4: この充血は入手し易い; int4 & fact11 -> hypothesis; __PROVED__
事実1: その金賞は束縛するししかも白々しい
事実2: 仮に染み込み易い物は印鑑証明であるなら媒介しない
事実3: 仮にこの冷凍サイクルが撃滅するならこの充血は来し易くない一方で痛飲する
事実4: この冷凍サイクルは染み込み易い
事実5: もし仮にこの冷凍サイクルは媒介するとすれば「この充血は染み込み易い」ということは成り立つ
事実6: その金賞が束縛するしおまけに白々しいとすればあの天皇イメージはスポーツマンらしくない
事実7: この冷凍サイクルは印鑑証明であるとすれば「この充血は媒介する」ということは成り立つ
事実8: この充血は媒介するし印鑑証明だとすると飽き足りない
事実9: もし仮になにがしかのものは来し易くないとすると「飽き足りないしまたそれは入手し易い」ということは成り立たない
事実10: この充血は印鑑証明である
事実11: もし仮にこの充血が入手し易いならこの冷凍サイクルは飽き足りる
事実12: なんらかの物が媒介するということはないとすると印鑑証明だしおまけに染み込み易い
事実13: 「その金賞は印鑑証明でないが飽き足りる」ということは真実でないならばあの天皇イメージは飽き足りない
事実14: もし「「飽き足りない一方で入手し易い」ということは成り立たない」ものがあるとすればその眼鏡犬は媒介しない
事実15: もし仮にあの天皇イメージがスポーツマンらしくないとしたらこの冷凍サイクルは撃滅するしまた同期化する
事実16: この充血は染み込み易い
事実17: もし仮にこの充血が媒介するしそれは飽き足りるとすると「それは染み込み易くない」ということは確かだ
事実18: この充血が媒介しないとすればそれは入手し易い
事実19: もしもこの充血は飽き足りるなら「この冷凍サイクルは染み込み易い」ということは確かである
事実20: この冷凍サイクルは入手し易い
事実21: その州県は入手し易い

仮説: この冷凍サイクルは飽き足りる
1. 事実16と事実10から、推論1: "この充血は染み込み易いしそれは印鑑証明だ"が導かれる
2. 事実2から、推論2: "もしもこの充血が染み込み易くてかつそれは印鑑証明であるとしたら「媒介しない」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "この充血は媒介しない"が導かれる
4. 推論3と事実18から、推論4: "この充血は入手し易い"が導かれる
5. 推論4と事実11から、仮説が導かれる

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