「その早蒔きは照れ臭くない」ということは成り立つ
fact1: もしもとあるものが正しくて加えてそれが遊び歩けば照れ臭くない fact2: もしもその早蒔きは活性化経路であるならそれは正しい fact3: その早蒔きは活性化経路だ fact4: もし仮にこの観世流は生白いとすれば「その早蒔きは遊び歩く」ということは真実だ fact5: この観世流は生白いかあるいは大仏造立である fact6: もし仮にこの観世流が大仏造立であるとすればあの早蒔きは遊び歩く
fact2 & fact3 -> int1: その早蒔きは正しい; fact5 & fact6 & fact4 -> int2: その早蒔きは遊び歩く; int1 & int2 -> int3: その早蒔きは正しいしそれに遊び歩く; fact1 -> int4: 仮にその早蒔きが正しいしさらにそれは遊び歩くとすると「照れ臭くない」ということは本当だ; int3 & int4 -> hypothesis;
fact2 & fact3 -> int1: {B}{a}; fact5 & fact6 & fact4 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); fact1 -> int4: ({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
$facts$ = fact1: もしもとあるものが正しくて加えてそれが遊び歩けば照れ臭くない fact2: もしもその早蒔きは活性化経路であるならそれは正しい fact3: その早蒔きは活性化経路だ fact4: もし仮にこの観世流は生白いとすれば「その早蒔きは遊び歩く」ということは真実だ fact5: この観世流は生白いかあるいは大仏造立である fact6: もし仮にこの観世流が大仏造立であるとすればあの早蒔きは遊び歩く ; $hypothesis$ = 「その早蒔きは照れ臭くない」ということは成り立つ ; $proof$ = 
fact2 & fact3 -> int1: その早蒔きは正しい; fact5 & fact6 & fact4 -> int2: その早蒔きは遊び歩く; int1 & int2 -> int3: その早蒔きは正しいしそれに遊び歩く; fact1 -> int4: 仮にその早蒔きが正しいしさらにそれは遊び歩くとすると「照れ臭くない」ということは本当だ; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもとあるものが正しくて加えてそれが遊び歩けば照れ臭くない
事実2: もしもその早蒔きは活性化経路であるならそれは正しい
事実3: その早蒔きは活性化経路だ
事実4: もし仮にこの観世流は生白いとすれば「その早蒔きは遊び歩く」ということは真実だ
事実5: この観世流は生白いかあるいは大仏造立である
事実6: もし仮にこの観世流が大仏造立であるとすればあの早蒔きは遊び歩く

仮説: 「その早蒔きは照れ臭くない」ということは成り立つ
1. 事実2と事実3から、推論1: "その早蒔きは正しい"が導かれる
2. 事実5と事実6と事実4から、推論2: "その早蒔きは遊び歩く"が導かれる
3. 推論1と推論2から、推論3: "その早蒔きは正しいしそれに遊び歩く"が導かれる
4. 事実1から、推論4: "仮にその早蒔きが正しいしさらにそれは遊び歩くとすると「照れ臭くない」ということは本当だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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