この大学野球は早い
fact1: 何らかのものが触覚的ランディング・サイトでないなら権利者であるし更に貼付期間だ fact2: もし仮にあの冷水帰りが貼付期間だとすると早い fact3: 仮にあの冷水帰りが早いならばその管理上は早い fact4: あの冷水帰りは権利者である fact5: もしとあるものは開胸するとすれば「言い易い」ということは真実だ fact6: 貼付期間は早い fact7: 「もしもこのα群がヒジョーでないとしたらあの冷水帰りは触覚的ランディング・サイトでない」ということは成り立つ fact8: もしもこのほったらかしはヒジョーである一方で記述しないとすると「このα群はヒジョーでない」ということは成り立つ fact9: 仮に「あの冷水帰りは権利者である」ということは本当ならばこの大学野球は貼付期間である
fact6 -> int1: もしもこの大学野球が貼付期間だとしたら早い; fact4 & fact9 -> int2: この大学野球は貼付期間である; int1 & int2 -> hypothesis;
fact6 -> int1: {A}{aa} -> {C}{aa}; fact4 & fact9 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「その管理上は早い」ということは事実だ
fact12 -> int3: もしもあの冷水帰りが触覚的ランディング・サイトでないとしたらそれは権利者であるしそれに貼付期間だ;
$facts$ = fact1: 何らかのものが触覚的ランディング・サイトでないなら権利者であるし更に貼付期間だ fact2: もし仮にあの冷水帰りが貼付期間だとすると早い fact3: 仮にあの冷水帰りが早いならばその管理上は早い fact4: あの冷水帰りは権利者である fact5: もしとあるものは開胸するとすれば「言い易い」ということは真実だ fact6: 貼付期間は早い fact7: 「もしもこのα群がヒジョーでないとしたらあの冷水帰りは触覚的ランディング・サイトでない」ということは成り立つ fact8: もしもこのほったらかしはヒジョーである一方で記述しないとすると「このα群はヒジョーでない」ということは成り立つ fact9: 仮に「あの冷水帰りは権利者である」ということは本当ならばこの大学野球は貼付期間である ; $hypothesis$ = この大学野球は早い ; $proof$ = 
fact6 -> int1: もしもこの大学野球が貼付期間だとしたら早い; fact4 & fact9 -> int2: この大学野球は貼付期間である; int1 & int2 -> hypothesis; __PROVED__
事実1: 何らかのものが触覚的ランディング・サイトでないなら権利者であるし更に貼付期間だ
事実2: もし仮にあの冷水帰りが貼付期間だとすると早い
事実3: 仮にあの冷水帰りが早いならばその管理上は早い
事実4: あの冷水帰りは権利者である
事実5: もしとあるものは開胸するとすれば「言い易い」ということは真実だ
事実6: 貼付期間は早い
事実7: 「もしもこのα群がヒジョーでないとしたらあの冷水帰りは触覚的ランディング・サイトでない」ということは成り立つ
事実8: もしもこのほったらかしはヒジョーである一方で記述しないとすると「このα群はヒジョーでない」ということは成り立つ
事実9: 仮に「あの冷水帰りは権利者である」ということは本当ならばこの大学野球は貼付期間である

仮説: この大学野球は早い
1. 事実6から、推論1: "もしもこの大学野球が貼付期間だとしたら早い"が導かれる
2. 事実4と事実9から、推論2: "この大学野球は貼付期間である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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