あの羽衣は生温かい
fact1: もし仮にその経過・予後が心深しとすればそれは帰化人でない一方で網膜内である fact2: もし「「手際良いか大脳動脈閉塞性変化でない」ということは偽な」ものがあるとしたらこの顔立ちは心深し fact3: この顔立ちはログインする fact4: もしも「「網膜内であるか心深し」ということは嘘である」ものがあるならその経過・予後は帰化人である fact5: もし「「心深しかあるいは大脳動脈閉塞性変化でないかあるいはどちらもである」ということは真実でない」物はあるとしたら「その経過・予後はかわゆい」ということは成り立つ fact6: その経過・予後は生温かくない fact7: その経過・予後は網膜内である fact8: 仮にこの荒波がかわゆくないとしたらその経過・予後は帰化人だ fact9: 「「網膜内であるかあるいは心深くないかまたは両方である」ということは間違っている」ものがあるとしたらその経過・予後は手際良い fact10: 「「帰化人であるかあるいは大脳動脈閉塞性変化でないかまたは両方ともだ」ということは誤りである」物はある fact11: その経過・予後は手際良い fact12: もしもその経過・予後が生温かいとしたらあの羽衣は網膜内である fact13: その経過・予後がかわゆいならあの羽衣は網膜内である fact14: 「通知書である」物はある fact15: 仮にこの荒波が帰化人だとしたらあの羽衣は生温かい fact16: 「「網膜内であるかあるいは大脳動脈閉塞性変化でないかあるいは両方ともだ」ということは偽な」ものはある fact17: 仮にこの荒波は帰化人であるということはないとすれば「この顔立ちは心深しか大脳動脈閉塞性変化でないか両方ともだ」ということは成り立つということはない fact18: 「「心深しかもしくは大脳動脈閉塞性変化であるかもしくはどちらもである」ということは間違いな」物はある fact19: もし仮にその経過・予後が手際良いとしたらそれがかわゆくないしさらに網膜内だ fact20: かわゆくないものは生温かくないしおまけに帰化人でない fact21: 「この顔立ちはかわゆいかもしくは大脳動脈閉塞性変化でない」ということは誤っている fact22: 「この顔立ちは大脳動脈閉塞性変化である」ということは本当である
void -> assump1: 以下のように仮定する。この荒波は帰化人であるということはない; fact17 & assump1 -> int1: 「この顔立ちは心深しかもしくはそれは大脳動脈閉塞性変化でないかまたは両方ともである」ということは偽である; int1 -> int2: 「「心深しかあるいは大脳動脈閉塞性変化でない」ということは成り立たない」ものはある; int2 & fact5 -> int3: 「その経過・予後はかわゆい」ということは本当である; fact19 & fact11 -> int4: その経過・予後はかわゆくない一方で網膜内だ; int4 -> int5: その経過・予後はかわゆくない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この荒波は帰化人だ」ということは確かだ; int7 & fact15 -> hypothesis;
あの羽衣は生温かくない
fact23 -> int8: あの羽衣がかわゆくないならば生温かくないしかつ帰化人でない;
$facts$ = fact1: もし仮にその経過・予後が心深しとすればそれは帰化人でない一方で網膜内である fact2: もし「「手際良いか大脳動脈閉塞性変化でない」ということは偽な」ものがあるとしたらこの顔立ちは心深し fact3: この顔立ちはログインする fact4: もしも「「網膜内であるか心深し」ということは嘘である」ものがあるならその経過・予後は帰化人である fact5: もし「「心深しかあるいは大脳動脈閉塞性変化でないかあるいはどちらもである」ということは真実でない」物はあるとしたら「その経過・予後はかわゆい」ということは成り立つ fact6: その経過・予後は生温かくない fact7: その経過・予後は網膜内である fact8: 仮にこの荒波がかわゆくないとしたらその経過・予後は帰化人だ fact9: 「「網膜内であるかあるいは心深くないかまたは両方である」ということは間違っている」ものがあるとしたらその経過・予後は手際良い fact10: 「「帰化人であるかあるいは大脳動脈閉塞性変化でないかまたは両方ともだ」ということは誤りである」物はある fact11: その経過・予後は手際良い fact12: もしもその経過・予後が生温かいとしたらあの羽衣は網膜内である fact13: その経過・予後がかわゆいならあの羽衣は網膜内である fact14: 「通知書である」物はある fact15: 仮にこの荒波が帰化人だとしたらあの羽衣は生温かい fact16: 「「網膜内であるかあるいは大脳動脈閉塞性変化でないかあるいは両方ともだ」ということは偽な」ものはある fact17: 仮にこの荒波は帰化人であるということはないとすれば「この顔立ちは心深しか大脳動脈閉塞性変化でないか両方ともだ」ということは成り立つということはない fact18: 「「心深しかもしくは大脳動脈閉塞性変化であるかもしくはどちらもである」ということは間違いな」物はある fact19: もし仮にその経過・予後が手際良いとしたらそれがかわゆくないしさらに網膜内だ fact20: かわゆくないものは生温かくないしおまけに帰化人でない fact21: 「この顔立ちはかわゆいかもしくは大脳動脈閉塞性変化でない」ということは誤っている fact22: 「この顔立ちは大脳動脈閉塞性変化である」ということは本当である ; $hypothesis$ = あの羽衣は生温かい ; $proof$ = 
void -> assump1: 以下のように仮定する。この荒波は帰化人であるということはない; fact17 & assump1 -> int1: 「この顔立ちは心深しかもしくはそれは大脳動脈閉塞性変化でないかまたは両方ともである」ということは偽である; int1 -> int2: 「「心深しかあるいは大脳動脈閉塞性変化でない」ということは成り立たない」ものはある; int2 & fact5 -> int3: 「その経過・予後はかわゆい」ということは本当である; fact19 & fact11 -> int4: その経過・予後はかわゆくない一方で網膜内だ; int4 -> int5: その経過・予後はかわゆくない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この荒波は帰化人だ」ということは確かだ; int7 & fact15 -> hypothesis; __PROVED__
事実1: もし仮にその経過・予後が心深しとすればそれは帰化人でない一方で網膜内である
事実2: もし「「手際良いか大脳動脈閉塞性変化でない」ということは偽な」ものがあるとしたらこの顔立ちは心深し
事実3: この顔立ちはログインする
事実4: もしも「「網膜内であるか心深し」ということは嘘である」ものがあるならその経過・予後は帰化人である
事実5: もし「「心深しかあるいは大脳動脈閉塞性変化でないかあるいはどちらもである」ということは真実でない」物はあるとしたら「その経過・予後はかわゆい」ということは成り立つ
事実6: その経過・予後は生温かくない
事実7: その経過・予後は網膜内である
事実8: 仮にこの荒波がかわゆくないとしたらその経過・予後は帰化人だ
事実9: 「「網膜内であるかあるいは心深くないかまたは両方である」ということは間違っている」ものがあるとしたらその経過・予後は手際良い
事実10: 「「帰化人であるかあるいは大脳動脈閉塞性変化でないかまたは両方ともだ」ということは誤りである」物はある
事実11: その経過・予後は手際良い
事実12: もしもその経過・予後が生温かいとしたらあの羽衣は網膜内である
事実13: その経過・予後がかわゆいならあの羽衣は網膜内である
事実14: 「通知書である」物はある
事実15: 仮にこの荒波が帰化人だとしたらあの羽衣は生温かい
事実16: 「「網膜内であるかあるいは大脳動脈閉塞性変化でないかあるいは両方ともだ」ということは偽な」ものはある
事実17: 仮にこの荒波は帰化人であるということはないとすれば「この顔立ちは心深しか大脳動脈閉塞性変化でないか両方ともだ」ということは成り立つということはない
事実18: 「「心深しかもしくは大脳動脈閉塞性変化であるかもしくはどちらもである」ということは間違いな」物はある
事実19: もし仮にその経過・予後が手際良いとしたらそれがかわゆくないしさらに網膜内だ
事実20: かわゆくないものは生温かくないしおまけに帰化人でない
事実21: 「この顔立ちはかわゆいかもしくは大脳動脈閉塞性変化でない」ということは誤っている
事実22: 「この顔立ちは大脳動脈閉塞性変化である」ということは本当である

仮説: あの羽衣は生温かい
1. 仮定1: 以下のように仮定する。この荒波は帰化人であるということはない
2. 事実17と仮定1から、推論1: "「この顔立ちは心深しかもしくはそれは大脳動脈閉塞性変化でないかまたは両方ともである」ということは偽である"が導かれる
3. 推論1から、推論2: "「「心深しかあるいは大脳動脈閉塞性変化でない」ということは成り立たない」ものはある"が導かれる
4. 推論2と事実5から、推論3: "「その経過・予後はかわゆい」ということは本当である"が導かれる
5. 事実19と事実11から、推論4: "その経過・予後はかわゆくない一方で網膜内だ"が導かれる
6. 推論4から、推論5: "その経過・予後はかわゆくない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この荒波は帰化人だ」ということは確かだ"が導かれる
9. 推論7と事実15から、仮説が導かれる

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