その子年は平均毎時でないかコミッションでないか両方である
fact1: もし仮に深紅色が儚しならこの収益改善は平均毎時である fact2: もしもあの柱・梁が幼けないならばその子年は考え辛い fact3: この収益改善が入れ為さらないしそれが考え辛くないとするとそれはコミッションである fact4: 深紅色は長ったらしいなら「あの柱・梁は幼けない」ということは正しい fact5: この収益改善は大半でなくておまけにそれは辿り着くということはない fact6: もし仮にあの瀬戸内海国立公園がすごーいならば儚し fact7: 仮になんらかの物は考え辛いということはないなら「それは深紅色でないしおまけに幼けないということはない」ということは間違っている fact8: この収益改善は深紅色だ一方でコミッションでないならそれは儚し fact9: あるものが大半でなくてかつ辿り着かないならば深紅色である fact10: ある物は長ったらしくないとしたら「それは平均毎時であるということはないかまたはコミッションでないかもしくは両方ともだ」ということは成り立たない fact11: もし仮に「この収益改善は入れ為さらないかあるいは儚しということはないかあるいは両方ともである」ということは嘘であるならそれは長ったらしい fact12: もしその国レベルはすごーいなら「この収益改善は入れ為さらないかあるいは儚しないかあるいはどちらもである」ということは偽である fact13: あの瀬戸内海国立公園はすごーい fact14: もしもその国レベルが考え辛くてまた入れ為さるとすればあの柱・梁は考え辛くない fact15: その国レベルはすごーい fact16: 仮に「なんらかのものは考え辛い」ということは成り立つなら平均毎時でないかあるいはそれはコミッションでない fact17: 仮にその国レベルがすごーいとしたらこの収益改善は入れ為さる fact18: もしもなんらかの物が考え辛いならばそれは平均毎時でないかまたはコミッションであるかもしくは両方ともだ
fact9 -> int1: もしもこの収益改善は大半でなくて辿り着くということはないとすればそれは深紅色である; int1 & fact5 -> int2: この収益改善は深紅色だ; fact12 & fact15 -> int3: 「この収益改善は入れ為さらないかもしくはそれは儚しない」ということは偽だ; int3 & fact11 -> int4: この収益改善は長ったらしい; int2 & int4 -> int5: この収益改善は深紅色だしまた長ったらしい; int5 -> int6: 「深紅色であるし更に長ったらしい」物はある; int6 & fact4 -> int7: あの柱・梁は幼けない; int7 & fact2 -> int8: その子年は考え辛い; fact16 -> int9: 「その子年は考え辛い」ということは成り立つとしたら平均毎時でないかあるいはそれはコミッションでない; int8 & int9 -> hypothesis;
「その子年は平均毎時でないかあるいはコミッションでない」ということは成り立たない
fact23 -> int10: 仮にその子年は長ったらしくないなら「それは平均毎時だということはないかまたはコミッションでない」ということは間違いである; fact20 -> int11: もし仮にあの柱・梁は考え辛いということはないなら「深紅色でないし幼けなくない」ということは成り立たない; fact22 & fact19 -> int12: あの瀬戸内海国立公園は儚し; int12 -> int13: 「なにかは儚し」ということは真実だ;
$facts$ = fact1: もし仮に深紅色が儚しならこの収益改善は平均毎時である fact2: もしもあの柱・梁が幼けないならばその子年は考え辛い fact3: この収益改善が入れ為さらないしそれが考え辛くないとするとそれはコミッションである fact4: 深紅色は長ったらしいなら「あの柱・梁は幼けない」ということは正しい fact5: この収益改善は大半でなくておまけにそれは辿り着くということはない fact6: もし仮にあの瀬戸内海国立公園がすごーいならば儚し fact7: 仮になんらかの物は考え辛いということはないなら「それは深紅色でないしおまけに幼けないということはない」ということは間違っている fact8: この収益改善は深紅色だ一方でコミッションでないならそれは儚し fact9: あるものが大半でなくてかつ辿り着かないならば深紅色である fact10: ある物は長ったらしくないとしたら「それは平均毎時であるということはないかまたはコミッションでないかもしくは両方ともだ」ということは成り立たない fact11: もし仮に「この収益改善は入れ為さらないかあるいは儚しということはないかあるいは両方ともである」ということは嘘であるならそれは長ったらしい fact12: もしその国レベルはすごーいなら「この収益改善は入れ為さらないかあるいは儚しないかあるいはどちらもである」ということは偽である fact13: あの瀬戸内海国立公園はすごーい fact14: もしもその国レベルが考え辛くてまた入れ為さるとすればあの柱・梁は考え辛くない fact15: その国レベルはすごーい fact16: 仮に「なんらかのものは考え辛い」ということは成り立つなら平均毎時でないかあるいはそれはコミッションでない fact17: 仮にその国レベルがすごーいとしたらこの収益改善は入れ為さる fact18: もしもなんらかの物が考え辛いならばそれは平均毎時でないかまたはコミッションであるかもしくは両方ともだ ; $hypothesis$ = その子年は平均毎時でないかコミッションでないか両方である ; $proof$ = 
fact9 -> int1: もしもこの収益改善は大半でなくて辿り着くということはないとすればそれは深紅色である; int1 & fact5 -> int2: この収益改善は深紅色だ; fact12 & fact15 -> int3: 「この収益改善は入れ為さらないかもしくはそれは儚しない」ということは偽だ; int3 & fact11 -> int4: この収益改善は長ったらしい; int2 & int4 -> int5: この収益改善は深紅色だしまた長ったらしい; int5 -> int6: 「深紅色であるし更に長ったらしい」物はある; int6 & fact4 -> int7: あの柱・梁は幼けない; int7 & fact2 -> int8: その子年は考え辛い; fact16 -> int9: 「その子年は考え辛い」ということは成り立つとしたら平均毎時でないかあるいはそれはコミッションでない; int8 & int9 -> hypothesis; __PROVED__
事実1: もし仮に深紅色が儚しならこの収益改善は平均毎時である
事実2: もしもあの柱・梁が幼けないならばその子年は考え辛い
事実3: この収益改善が入れ為さらないしそれが考え辛くないとするとそれはコミッションである
事実4: 深紅色は長ったらしいなら「あの柱・梁は幼けない」ということは正しい
事実5: この収益改善は大半でなくておまけにそれは辿り着くということはない
事実6: もし仮にあの瀬戸内海国立公園がすごーいならば儚し
事実7: 仮になんらかの物は考え辛いということはないなら「それは深紅色でないしおまけに幼けないということはない」ということは間違っている
事実8: この収益改善は深紅色だ一方でコミッションでないならそれは儚し
事実9: あるものが大半でなくてかつ辿り着かないならば深紅色である
事実10: ある物は長ったらしくないとしたら「それは平均毎時であるということはないかまたはコミッションでないかもしくは両方ともだ」ということは成り立たない
事実11: もし仮に「この収益改善は入れ為さらないかあるいは儚しということはないかあるいは両方ともである」ということは嘘であるならそれは長ったらしい
事実12: もしその国レベルはすごーいなら「この収益改善は入れ為さらないかあるいは儚しないかあるいはどちらもである」ということは偽である
事実13: あの瀬戸内海国立公園はすごーい
事実14: もしもその国レベルが考え辛くてまた入れ為さるとすればあの柱・梁は考え辛くない
事実15: その国レベルはすごーい
事実16: 仮に「なんらかのものは考え辛い」ということは成り立つなら平均毎時でないかあるいはそれはコミッションでない
事実17: 仮にその国レベルがすごーいとしたらこの収益改善は入れ為さる
事実18: もしもなんらかの物が考え辛いならばそれは平均毎時でないかまたはコミッションであるかもしくは両方ともだ

仮説: その子年は平均毎時でないかコミッションでないか両方である
1. 事実9から、推論1: "もしもこの収益改善は大半でなくて辿り着くということはないとすればそれは深紅色である"が導かれる
2. 推論1と事実5から、推論2: "この収益改善は深紅色だ"が導かれる
3. 事実12と事実15から、推論3: "「この収益改善は入れ為さらないかもしくはそれは儚しない」ということは偽だ"が導かれる
4. 推論3と事実11から、推論4: "この収益改善は長ったらしい"が導かれる
5. 推論2と推論4から、推論5: "この収益改善は深紅色だしまた長ったらしい"が導かれる
6. 推論5から、推論6: "「深紅色であるし更に長ったらしい」物はある"が導かれる
7. 推論6と事実4から、推論7: "あの柱・梁は幼けない"が導かれる
8. 推論7と事実2から、推論8: "その子年は考え辛い"が導かれる
9. 事実16から、推論9: "「その子年は考え辛い」ということは成り立つとしたら平均毎時でないかあるいはそれはコミッションでない"が導かれる
10. 推論8と推論9から、仮説が導かれる

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