あの茉莉はヘム色素でない
fact1: 「愛くるしい」物はある fact2: 「「先ずするということはないけど居座る」ということは誤っている」ものはある fact3: 仮に「この指導課題は寂しがるかもしくは投げ付けないかまたは両方である」ということは成り立つということはないとすると「それは看護技術である」ということは本当だ fact4: もしこの指導課題が長生き出来ないとしたらそれは看護技術でないしそれは剥かない fact5: もし仮に「この指導課題は反映され易い」ということは確かであるとしたら「寂しがるかまたは投げ付けない」ということは成り立たない fact6: 仮に「その太宗皇帝は剥くかまたは調査・研究しない」ということは真実でないとすれば寂しがる fact7: 仮に何らかのものは実施出来ないとしたら「看護技術だしおまけにそれは剥かない」ということは間違っている fact8: この指導課題は反映され易い fact9: 「居座る」ものはある fact10: もしとあるものは経るとしたら「それは剥く」ということは真実である fact11: あの茉莉は実施出来る fact12: あの自然放射線は平たくない fact13: もしこの指導課題が看護技術ならあの自然放射線は実施出来る fact14: あの自然放射線は居座るかあるいはそれは経る fact15: もしもその太宗皇帝が反映され易いならばあの指導課題は調査・研究する fact16: もしなにかは経ないとしたら「それはヘム色素でなくてそれに調査・研究する」ということは成り立たない fact17: 仮に「この指導課題は看護技術である」ということは偽であるとするとこのアミノ酸等は実施出来るし反映され易い fact18: あの自然放射線はヘム色素であるかあるいはそれは剥かない fact19: もし「あるものは看護技術であるがしかし剥かない」ということは嘘だとするとそれは看護技術であるということはない fact20: その太宗皇帝が投げ付けるかそれが実施出来ないならこの指導課題は長生き出来ない fact21: もし仮になんらかのものが実施出来るしまたそれが剥くとするとその太宗皇帝は長生き出来る fact22: もしあの自然放射線が居座るとすると剥く fact23: もしあの自然放射線が反映され易いとするとこの指導課題は経る fact24: もしその太宗皇帝が長生き出来るかもしくはそれが調査・研究しないならあの茉莉はヘム色素でない fact25: あの茉莉は長生き出来る
fact5 & fact8 -> int1: 「この指導課題は寂しがるかそれは投げ付けないかあるいは両方だ」ということは成り立つということはない; int1 & fact3 -> int2: 「この指導課題は看護技術だ」ということは正しい; int2 & fact13 -> int3: あの自然放射線は実施出来る; fact10 -> int4: 仮にあの自然放射線は経るとすると「剥く」ということは確かだ; fact22 & fact14 & int4 -> int5: 「あの自然放射線は剥く」ということは事実である; int3 & int5 -> int6: あの自然放射線は実施出来るしそれにそれは剥く; int6 -> int7: 「実施出来るしそれに剥く」物はある; int7 & fact21 -> int8: 「その太宗皇帝は長生き出来る」ということは正しい; int8 -> int9: その太宗皇帝は長生き出来るかまたは調査・研究しないか両方だ; int9 & fact24 -> hypothesis;
あの茉莉はヘム色素である
fact27 -> int10: もしも「あの茉莉は看護技術であるがしかし剥くということはない」ということは成り立たないならば看護技術でない; fact26 -> int11: あの茉莉は実施出来ないとすれば「看護技術で加えて剥かない」ということは間違いだ;
$facts$ = fact1: 「愛くるしい」物はある fact2: 「「先ずするということはないけど居座る」ということは誤っている」ものはある fact3: 仮に「この指導課題は寂しがるかもしくは投げ付けないかまたは両方である」ということは成り立つということはないとすると「それは看護技術である」ということは本当だ fact4: もしこの指導課題が長生き出来ないとしたらそれは看護技術でないしそれは剥かない fact5: もし仮に「この指導課題は反映され易い」ということは確かであるとしたら「寂しがるかまたは投げ付けない」ということは成り立たない fact6: 仮に「その太宗皇帝は剥くかまたは調査・研究しない」ということは真実でないとすれば寂しがる fact7: 仮に何らかのものは実施出来ないとしたら「看護技術だしおまけにそれは剥かない」ということは間違っている fact8: この指導課題は反映され易い fact9: 「居座る」ものはある fact10: もしとあるものは経るとしたら「それは剥く」ということは真実である fact11: あの茉莉は実施出来る fact12: あの自然放射線は平たくない fact13: もしこの指導課題が看護技術ならあの自然放射線は実施出来る fact14: あの自然放射線は居座るかあるいはそれは経る fact15: もしもその太宗皇帝が反映され易いならばあの指導課題は調査・研究する fact16: もしなにかは経ないとしたら「それはヘム色素でなくてそれに調査・研究する」ということは成り立たない fact17: 仮に「この指導課題は看護技術である」ということは偽であるとするとこのアミノ酸等は実施出来るし反映され易い fact18: あの自然放射線はヘム色素であるかあるいはそれは剥かない fact19: もし「あるものは看護技術であるがしかし剥かない」ということは嘘だとするとそれは看護技術であるということはない fact20: その太宗皇帝が投げ付けるかそれが実施出来ないならこの指導課題は長生き出来ない fact21: もし仮になんらかのものが実施出来るしまたそれが剥くとするとその太宗皇帝は長生き出来る fact22: もしあの自然放射線が居座るとすると剥く fact23: もしあの自然放射線が反映され易いとするとこの指導課題は経る fact24: もしその太宗皇帝が長生き出来るかもしくはそれが調査・研究しないならあの茉莉はヘム色素でない fact25: あの茉莉は長生き出来る ; $hypothesis$ = あの茉莉はヘム色素でない ; $proof$ = 
fact5 & fact8 -> int1: 「この指導課題は寂しがるかそれは投げ付けないかあるいは両方だ」ということは成り立つということはない; int1 & fact3 -> int2: 「この指導課題は看護技術だ」ということは正しい; int2 & fact13 -> int3: あの自然放射線は実施出来る; fact10 -> int4: 仮にあの自然放射線は経るとすると「剥く」ということは確かだ; fact22 & fact14 & int4 -> int5: 「あの自然放射線は剥く」ということは事実である; int3 & int5 -> int6: あの自然放射線は実施出来るしそれにそれは剥く; int6 -> int7: 「実施出来るしそれに剥く」物はある; int7 & fact21 -> int8: 「その太宗皇帝は長生き出来る」ということは正しい; int8 -> int9: その太宗皇帝は長生き出来るかまたは調査・研究しないか両方だ; int9 & fact24 -> hypothesis; __PROVED__
事実1: 「愛くるしい」物はある
事実2: 「「先ずするということはないけど居座る」ということは誤っている」ものはある
事実3: 仮に「この指導課題は寂しがるかもしくは投げ付けないかまたは両方である」ということは成り立つということはないとすると「それは看護技術である」ということは本当だ
事実4: もしこの指導課題が長生き出来ないとしたらそれは看護技術でないしそれは剥かない
事実5: もし仮に「この指導課題は反映され易い」ということは確かであるとしたら「寂しがるかまたは投げ付けない」ということは成り立たない
事実6: 仮に「その太宗皇帝は剥くかまたは調査・研究しない」ということは真実でないとすれば寂しがる
事実7: 仮に何らかのものは実施出来ないとしたら「看護技術だしおまけにそれは剥かない」ということは間違っている
事実8: この指導課題は反映され易い
事実9: 「居座る」ものはある
事実10: もしとあるものは経るとしたら「それは剥く」ということは真実である
事実11: あの茉莉は実施出来る
事実12: あの自然放射線は平たくない
事実13: もしこの指導課題が看護技術ならあの自然放射線は実施出来る
事実14: あの自然放射線は居座るかあるいはそれは経る
事実15: もしもその太宗皇帝が反映され易いならばあの指導課題は調査・研究する
事実16: もしなにかは経ないとしたら「それはヘム色素でなくてそれに調査・研究する」ということは成り立たない
事実17: 仮に「この指導課題は看護技術である」ということは偽であるとするとこのアミノ酸等は実施出来るし反映され易い
事実18: あの自然放射線はヘム色素であるかあるいはそれは剥かない
事実19: もし「あるものは看護技術であるがしかし剥かない」ということは嘘だとするとそれは看護技術であるということはない
事実20: その太宗皇帝が投げ付けるかそれが実施出来ないならこの指導課題は長生き出来ない
事実21: もし仮になんらかのものが実施出来るしまたそれが剥くとするとその太宗皇帝は長生き出来る
事実22: もしあの自然放射線が居座るとすると剥く
事実23: もしあの自然放射線が反映され易いとするとこの指導課題は経る
事実24: もしその太宗皇帝が長生き出来るかもしくはそれが調査・研究しないならあの茉莉はヘム色素でない
事実25: あの茉莉は長生き出来る

仮説: あの茉莉はヘム色素でない
1. 事実5と事実8から、推論1: "「この指導課題は寂しがるかそれは投げ付けないかあるいは両方だ」ということは成り立つということはない"が導かれる
2. 推論1と事実3から、推論2: "「この指導課題は看護技術だ」ということは正しい"が導かれる
3. 推論2と事実13から、推論3: "あの自然放射線は実施出来る"が導かれる
4. 事実10から、推論4: "仮にあの自然放射線は経るとすると「剥く」ということは確かだ"が導かれる
5. 事実22と事実14と推論4から、推論5: "「あの自然放射線は剥く」ということは事実である"が導かれる
6. 推論3と推論5から、推論6: "あの自然放射線は実施出来るしそれにそれは剥く"が導かれる
7. 推論6から、推論7: "「実施出来るしそれに剥く」物はある"が導かれる
8. 推論7と事実21から、推論8: "「その太宗皇帝は長生き出来る」ということは正しい"が導かれる
9. 推論8から、推論9: "その太宗皇帝は長生き出来るかまたは調査・研究しないか両方だ"が導かれる
10. 推論9と事実24から、仮説が導かれる

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