あの座技は発症し易い
fact1: あの座技はむさくるしい一方でそれは行かさない fact2: もし仮にあの座技はむさくるしいけど行かさないなら照れ臭い fact3: あの座技は行かさない fact4: 「あの座技は逃げ延びる」ということは偽でないならば「発症し易い」ということは確かだ fact5: もしあの座技はむさくるしくて加えて行かすとすると「照れ臭い」ということは事実である fact6: もしあるものが照れ臭いならば逃げ延びる
fact2 & fact1 -> int1: あの座技は照れ臭い; fact6 -> int2: もしもあの座技が照れ臭いとしたら逃げ延びる; int1 & int2 -> int3: 「あの座技は逃げ延びる」ということは成り立つ; int3 & fact4 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; fact6 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> int3: {A}{a}; int3 & fact4 -> hypothesis;
$facts$ = fact1: あの座技はむさくるしい一方でそれは行かさない fact2: もし仮にあの座技はむさくるしいけど行かさないなら照れ臭い fact3: あの座技は行かさない fact4: 「あの座技は逃げ延びる」ということは偽でないならば「発症し易い」ということは確かだ fact5: もしあの座技はむさくるしくて加えて行かすとすると「照れ臭い」ということは事実である fact6: もしあるものが照れ臭いならば逃げ延びる ; $hypothesis$ = あの座技は発症し易い ; $proof$ = 
fact2 & fact1 -> int1: あの座技は照れ臭い; fact6 -> int2: もしもあの座技が照れ臭いとしたら逃げ延びる; int1 & int2 -> int3: 「あの座技は逃げ延びる」ということは成り立つ; int3 & fact4 -> hypothesis; __PROVED__
事実1: あの座技はむさくるしい一方でそれは行かさない
事実2: もし仮にあの座技はむさくるしいけど行かさないなら照れ臭い
事実3: あの座技は行かさない
事実4: 「あの座技は逃げ延びる」ということは偽でないならば「発症し易い」ということは確かだ
事実5: もしあの座技はむさくるしくて加えて行かすとすると「照れ臭い」ということは事実である
事実6: もしあるものが照れ臭いならば逃げ延びる

仮説: あの座技は発症し易い
1. 事実2と事実1から、推論1: "あの座技は照れ臭い"が導かれる
2. 事実6から、推論2: "もしもあの座技が照れ臭いとしたら逃げ延びる"が導かれる
3. 推論1と推論2から、推論3: "「あの座技は逃げ延びる」ということは成り立つ"が導かれる
4. 推論3と事実4から、仮説が導かれる

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