あのＰＨＯは第十四号様式で御守り下さる
fact1: 「あのＰＨＯは寄れなくてそれは生理学的意義でない」ということは誤っているとすると生理学的意義だ fact2: もし「あのＰＨＯは寄れるし更に酵素標識抗体法である」ということは嘘ならばあの社会化論は寄れない fact3: もし仮に何らかの物が寄れるとするとそれは御病気である fact4: あの社会化論は詰まり易い fact5: 「あのＰＨＯは寄れないし加えて生理学的意義でない」ということは事実でない fact6: もし仮に「あのＰＨＯは御病気でなくて加えて馴染み難くない」ということは事実だということはないとするとそれは馴染み難い fact7: もし仮にあの社会化論が馴染み難いとするとあのＰＨＯは御病気だ fact8: ある物は御病気であるとすれば「馴染み難くないししかも第十四号様式でない」ということは誤っている fact9: 「生理学的意義は御守り下さる」ということは事実だ fact10: あの社会化論が生理学的意義であるとしたらあのＰＨＯは馴染み難い fact11: もしあるものは馴染み難くないとすると「第十四号様式であるしまた御守り下さる」ということは間違っている fact12: 「この一生は出来難くないしそれに可愛らしいということはない」ということは誤っている fact13: もしもあの社会化論は御守り下さるとしたら「この注目点は御病気である」ということは成り立つ fact14: あのＰＨＯは見逃すしさらに浸軟する fact15: もし仮になにかは生理学的意義であるなら馴染み難い fact16: もし仮に「この連絡会は梓だ」ということは確かであるなら松岡青年だ fact17: 「なんらかのものは御病気だ」ということは真実だとすれば第十四号様式だ fact18: 仮に「あの社会化論は愛くるしい」ということは正しいならばそれは馴染み難い fact19: 「あの社会化論は馴染み難い」ということは真実だ fact20: 「この共倒れは寄れる」ということは真実だ fact21: もし「何らかのものは馴染み難くなくて第十四号様式でない」ということは嘘ならば馴染み難い
fact7 & fact19 -> int1: 「あのＰＨＯは御病気だ」ということは成り立つ; fact17 -> int2: もし仮にあのＰＨＯは御病気であるとすればそれは第十四号様式である; int1 & int2 -> int3: あのＰＨＯは第十四号様式だ; fact1 & fact5 -> int4: あのＰＨＯは生理学的意義だ; fact9 -> int5: もし仮に「あのＰＨＯは生理学的意義だ」ということは正しいとしたら御守り下さる; int4 & int5 -> int6: あのＰＨＯは御守り下さる; int3 & int6 -> hypothesis;
fact7 & fact19 -> int1: {B}{b}; fact17 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; fact1 & fact5 -> int4: {E}{b}; fact9 -> int5: {E}{b} -> {D}{b}; int4 & int5 -> int6: {D}{b}; int3 & int6 -> hypothesis;
この注目点は馴染み難い
fact24 -> int7: もし「この注目点は馴染み難くなくてしかも第十四号様式だということはない」ということは偽であるとしたら馴染み難い; fact23 -> int8: もしもこの注目点は御病気だとすれば「それは馴染み難くないし第十四号様式でない」ということは確かでない;
$facts$ = fact1: 「あのＰＨＯは寄れなくてそれは生理学的意義でない」ということは誤っているとすると生理学的意義だ fact2: もし「あのＰＨＯは寄れるし更に酵素標識抗体法である」ということは嘘ならばあの社会化論は寄れない fact3: もし仮に何らかの物が寄れるとするとそれは御病気である fact4: あの社会化論は詰まり易い fact5: 「あのＰＨＯは寄れないし加えて生理学的意義でない」ということは事実でない fact6: もし仮に「あのＰＨＯは御病気でなくて加えて馴染み難くない」ということは事実だということはないとするとそれは馴染み難い fact7: もし仮にあの社会化論が馴染み難いとするとあのＰＨＯは御病気だ fact8: ある物は御病気であるとすれば「馴染み難くないししかも第十四号様式でない」ということは誤っている fact9: 「生理学的意義は御守り下さる」ということは事実だ fact10: あの社会化論が生理学的意義であるとしたらあのＰＨＯは馴染み難い fact11: もしあるものは馴染み難くないとすると「第十四号様式であるしまた御守り下さる」ということは間違っている fact12: 「この一生は出来難くないしそれに可愛らしいということはない」ということは誤っている fact13: もしもあの社会化論は御守り下さるとしたら「この注目点は御病気である」ということは成り立つ fact14: あのＰＨＯは見逃すしさらに浸軟する fact15: もし仮になにかは生理学的意義であるなら馴染み難い fact16: もし仮に「この連絡会は梓だ」ということは確かであるなら松岡青年だ fact17: 「なんらかのものは御病気だ」ということは真実だとすれば第十四号様式だ fact18: 仮に「あの社会化論は愛くるしい」ということは正しいならばそれは馴染み難い fact19: 「あの社会化論は馴染み難い」ということは真実だ fact20: 「この共倒れは寄れる」ということは真実だ fact21: もし「何らかのものは馴染み難くなくて第十四号様式でない」ということは嘘ならば馴染み難い ; $hypothesis$ = あのＰＨＯは第十四号様式で御守り下さる ; $proof$ = 
fact7 & fact19 -> int1: 「あのＰＨＯは御病気だ」ということは成り立つ; fact17 -> int2: もし仮にあのＰＨＯは御病気であるとすればそれは第十四号様式である; int1 & int2 -> int3: あのＰＨＯは第十四号様式だ; fact1 & fact5 -> int4: あのＰＨＯは生理学的意義だ; fact9 -> int5: もし仮に「あのＰＨＯは生理学的意義だ」ということは正しいとしたら御守り下さる; int4 & int5 -> int6: あのＰＨＯは御守り下さる; int3 & int6 -> hypothesis; __PROVED__
事実1: 「あのＰＨＯは寄れなくてそれは生理学的意義でない」ということは誤っているとすると生理学的意義だ
事実2: もし「あのＰＨＯは寄れるし更に酵素標識抗体法である」ということは嘘ならばあの社会化論は寄れない
事実3: もし仮に何らかの物が寄れるとするとそれは御病気である
事実4: あの社会化論は詰まり易い
事実5: 「あのＰＨＯは寄れないし加えて生理学的意義でない」ということは事実でない
事実6: もし仮に「あのＰＨＯは御病気でなくて加えて馴染み難くない」ということは事実だということはないとするとそれは馴染み難い
事実7: もし仮にあの社会化論が馴染み難いとするとあのＰＨＯは御病気だ
事実8: ある物は御病気であるとすれば「馴染み難くないししかも第十四号様式でない」ということは誤っている
事実9: 「生理学的意義は御守り下さる」ということは事実だ
事実10: あの社会化論が生理学的意義であるとしたらあのＰＨＯは馴染み難い
事実11: もしあるものは馴染み難くないとすると「第十四号様式であるしまた御守り下さる」ということは間違っている
事実12: 「この一生は出来難くないしそれに可愛らしいということはない」ということは誤っている
事実13: もしもあの社会化論は御守り下さるとしたら「この注目点は御病気である」ということは成り立つ
事実14: あのＰＨＯは見逃すしさらに浸軟する
事実15: もし仮になにかは生理学的意義であるなら馴染み難い
事実16: もし仮に「この連絡会は梓だ」ということは確かであるなら松岡青年だ
事実17: 「なんらかのものは御病気だ」ということは真実だとすれば第十四号様式だ
事実18: 仮に「あの社会化論は愛くるしい」ということは正しいならばそれは馴染み難い
事実19: 「あの社会化論は馴染み難い」ということは真実だ
事実20: 「この共倒れは寄れる」ということは真実だ
事実21: もし「何らかのものは馴染み難くなくて第十四号様式でない」ということは嘘ならば馴染み難い

仮説: あのＰＨＯは第十四号様式で御守り下さる
1. 事実7と事実19から、推論1: "「あのＰＨＯは御病気だ」ということは成り立つ"が導かれる
2. 事実17から、推論2: "もし仮にあのＰＨＯは御病気であるとすればそれは第十四号様式である"が導かれる
3. 推論1と推論2から、推論3: "あのＰＨＯは第十四号様式だ"が導かれる
4. 事実1と事実5から、推論4: "あのＰＨＯは生理学的意義だ"が導かれる
5. 事実9から、推論5: "もし仮に「あのＰＨＯは生理学的意義だ」ということは正しいとしたら御守り下さる"が導かれる
6. 推論4と推論5から、推論6: "あのＰＨＯは御守り下さる"が導かれる
7. 推論3と推論6から、仮説が導かれる

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