あの金属板は第十号様式だということはない
fact1: ある物が生殖腺ならばそれは忘れ易い fact2: あの金属板は生殖腺だ fact3: 「あの虚構は参照頂く」ということは成り立つ fact4: もし仮に「あるものは生殖腺である」ということは成り立つならそれは参照頂く fact5: 「この指導略案は参照頂く」ということは成り立つ fact6: 仮に「この指導略案は第十号様式である」ということは嘘でないとするとあの金属板は第十号様式である fact7: 貧しいかあるいは育て易いか両方ともである物は第十号様式でない fact8: 貧しいものは第十号様式でない fact9: もしこの指導略案が忘れ易いとしたらあの金属板は育て易い fact10: 「この指導略案は参照頂く」ということは確かだとすればそれは生殖腺である
fact10 & fact5 -> int1: この指導略案は生殖腺だ; fact1 -> int2: この指導略案が生殖腺ならそれは忘れ易い; int1 & int2 -> int3: 「この指導略案は忘れ易い」ということは誤っていない; int3 & fact9 -> int4: 「あの金属板は育て易い」ということは真実である; int4 -> int5: あの金属板は貧しいかもしくはそれは育て易い; fact7 -> int6: あの金属板が貧しいかそれは育て易いかあるいは両方であるとしたら第十号様式でない; int5 & int6 -> hypothesis;
「あの金属板は第十号様式だ」ということは成り立つ
$facts$ = fact1: ある物が生殖腺ならばそれは忘れ易い fact2: あの金属板は生殖腺だ fact3: 「あの虚構は参照頂く」ということは成り立つ fact4: もし仮に「あるものは生殖腺である」ということは成り立つならそれは参照頂く fact5: 「この指導略案は参照頂く」ということは成り立つ fact6: 仮に「この指導略案は第十号様式である」ということは嘘でないとするとあの金属板は第十号様式である fact7: 貧しいかあるいは育て易いか両方ともである物は第十号様式でない fact8: 貧しいものは第十号様式でない fact9: もしこの指導略案が忘れ易いとしたらあの金属板は育て易い fact10: 「この指導略案は参照頂く」ということは確かだとすればそれは生殖腺である ; $hypothesis$ = あの金属板は第十号様式だということはない ; $proof$ = 
fact10 & fact5 -> int1: この指導略案は生殖腺だ; fact1 -> int2: この指導略案が生殖腺ならそれは忘れ易い; int1 & int2 -> int3: 「この指導略案は忘れ易い」ということは誤っていない; int3 & fact9 -> int4: 「あの金属板は育て易い」ということは真実である; int4 -> int5: あの金属板は貧しいかもしくはそれは育て易い; fact7 -> int6: あの金属板が貧しいかそれは育て易いかあるいは両方であるとしたら第十号様式でない; int5 & int6 -> hypothesis; __PROVED__
事実1: ある物が生殖腺ならばそれは忘れ易い
事実2: あの金属板は生殖腺だ
事実3: 「あの虚構は参照頂く」ということは成り立つ
事実4: もし仮に「あるものは生殖腺である」ということは成り立つならそれは参照頂く
事実5: 「この指導略案は参照頂く」ということは成り立つ
事実6: 仮に「この指導略案は第十号様式である」ということは嘘でないとするとあの金属板は第十号様式である
事実7: 貧しいかあるいは育て易いか両方ともである物は第十号様式でない
事実8: 貧しいものは第十号様式でない
事実9: もしこの指導略案が忘れ易いとしたらあの金属板は育て易い
事実10: 「この指導略案は参照頂く」ということは確かだとすればそれは生殖腺である

仮説: あの金属板は第十号様式だということはない
1. 事実10と事実5から、推論1: "この指導略案は生殖腺だ"が導かれる
2. 事実1から、推論2: "この指導略案が生殖腺ならそれは忘れ易い"が導かれる
3. 推論1と推論2から、推論3: "「この指導略案は忘れ易い」ということは誤っていない"が導かれる
4. 推論3と事実9から、推論4: "「あの金属板は育て易い」ということは真実である"が導かれる
5. 推論4から、推論5: "あの金属板は貧しいかもしくはそれは育て易い"が導かれる
6. 事実7から、推論6: "あの金属板が貧しいかそれは育て易いかあるいは両方であるとしたら第十号様式でない"が導かれる
7. 推論5と推論6から、仮説が導かれる

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