この代金額は狡賢い
fact1: もしあるものが御楽しみ頂けるとすれば小煩い fact2: もしもその授業実践が小煩いとしたらこの代金額は狡賢い fact3: その授業実践は供託しない fact4: もし仮になんらかのものは会員企業であるならば「それは小煩いか御楽しみ頂けない」ということは真実であるということはない fact5: その授業実践は割り込むがそれは落ち込まない fact6: もし仮にその授業実践が入植するしそれが供託すれば御楽しみ頂ける fact7: もしこの代金額が御楽しみ頂けるけどそれは狡賢くないとすれば「供託する」ということは成り立つ fact8: その断片は供託する fact9: 「この代金額は怪しい」ということは確かだ fact10: この代金額は涙囊炎だけど供託しない fact11: その授業実践は入植する一方で供託するということはない fact12: もしもその授業実践が入植するけど供託しないとすると御楽しみ頂ける
fact12 & fact11 -> int1: その授業実践は御楽しみ頂ける; fact1 -> int2: その授業実践が御楽しみ頂けるとすると小煩い; int1 & int2 -> int3: その授業実践は小煩い; int3 & fact2 -> hypothesis;
この代金額は狡賢くない
fact13 -> int4: その授業実践は会員企業であるなら「それは小煩いかそれは御楽しみ頂けない」ということは偽だ;
$facts$ = fact1: もしあるものが御楽しみ頂けるとすれば小煩い fact2: もしもその授業実践が小煩いとしたらこの代金額は狡賢い fact3: その授業実践は供託しない fact4: もし仮になんらかのものは会員企業であるならば「それは小煩いか御楽しみ頂けない」ということは真実であるということはない fact5: その授業実践は割り込むがそれは落ち込まない fact6: もし仮にその授業実践が入植するしそれが供託すれば御楽しみ頂ける fact7: もしこの代金額が御楽しみ頂けるけどそれは狡賢くないとすれば「供託する」ということは成り立つ fact8: その断片は供託する fact9: 「この代金額は怪しい」ということは確かだ fact10: この代金額は涙囊炎だけど供託しない fact11: その授業実践は入植する一方で供託するということはない fact12: もしもその授業実践が入植するけど供託しないとすると御楽しみ頂ける ; $hypothesis$ = この代金額は狡賢い ; $proof$ = 
fact12 & fact11 -> int1: その授業実践は御楽しみ頂ける; fact1 -> int2: その授業実践が御楽しみ頂けるとすると小煩い; int1 & int2 -> int3: その授業実践は小煩い; int3 & fact2 -> hypothesis; __PROVED__
事実1: もしあるものが御楽しみ頂けるとすれば小煩い
事実2: もしもその授業実践が小煩いとしたらこの代金額は狡賢い
事実3: その授業実践は供託しない
事実4: もし仮になんらかのものは会員企業であるならば「それは小煩いか御楽しみ頂けない」ということは真実であるということはない
事実5: その授業実践は割り込むがそれは落ち込まない
事実6: もし仮にその授業実践が入植するしそれが供託すれば御楽しみ頂ける
事実7: もしこの代金額が御楽しみ頂けるけどそれは狡賢くないとすれば「供託する」ということは成り立つ
事実8: その断片は供託する
事実9: 「この代金額は怪しい」ということは確かだ
事実10: この代金額は涙囊炎だけど供託しない
事実11: その授業実践は入植する一方で供託するということはない
事実12: もしもその授業実践が入植するけど供託しないとすると御楽しみ頂ける

仮説: この代金額は狡賢い
1. 事実12と事実11から、推論1: "その授業実践は御楽しみ頂ける"が導かれる
2. 事実1から、推論2: "その授業実践が御楽しみ頂けるとすると小煩い"が導かれる
3. 推論1と推論2から、推論3: "その授業実践は小煩い"が導かれる
4. 推論3と事実2から、仮説が導かれる

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