その静脈内留置針は成功し易くない
fact1: もしこの必要が狡いならばその静脈内留置針は成功し易い fact2: なにかは平生だということはないとすれば「三センチメートル長さで更にイタリア空軍である」ということは嘘だ fact3: もし「この必要は軽々しい」ということは真実だとすればあの静脈内留置針は成功し易い fact4: この必要は抓る fact5: すべては平生だということはない fact6: もし仮にあの義眼が量子物理学でないか狡いかまたは両方だとするとその静脈内留置針は成功し易くない fact7: もし仮にこの必要は狡くないならば「あの義眼は量子物理学でないかまたはそれは狡いかあるいは両方である」ということは確かだ fact8: 仮に「この一夫一婦論は三センチメートル長さであるし更にイタリア空軍だ」ということは間違っているならそれはイタリア空軍でない fact9: もし仮にこの必要が軽々しいとすればそれは寄宿する fact10: あの義眼が量子物理学でないとすればその静脈内留置針は成功し易くない fact11: 「「再発し易いしさらに寄宿する」ということは事実と異なる」物があるとしたらあの義眼は寄宿しない fact12: この必要は再発し易い fact13: 仮にこの必要が寄宿するとすればそれは再発し易くない fact14: 仮にこの必要が抓るがそれが相共だということはないとすると軽々しい fact15: もしその静脈内留置針が成功し易いがしかし寄宿しないならあの義眼は寄宿しない fact16: 仮に「その肩関節は三センチメートル長さでなくてまた再発し易くない」ということは成り立たないならばその静脈内留置針は再発し易い fact17: もしあの義眼が軽々しいし狡いならこの必要は量子物理学でない fact18: あの義眼は量子物理学であるかもしくはそれは狡いかあるいは両方である fact19: この必要が狡いとするとそれは抓るし加えて相共でない fact20: この必要が狡いならばそれは抓る
void -> assump1: 以下のように仮定する。この必要は狡い; fact19 & assump1 -> int1: この必要は抓るがしかしそれは相共でない; int1 & fact14 -> int2: この必要は軽々しい; int2 & fact9 -> int3: この必要は寄宿する; int3 & fact13 -> int4: 「この必要は再発し易くない」ということは本当である; int4 & fact12 -> int5: これは矛盾である; [assump1] & int5 -> int6: この必要は狡くない; int6 & fact7 -> int7: あの義眼は量子物理学でないかまたは狡いかまたは両方だ; int7 & fact6 -> hypothesis;
その静脈内留置針は成功し易い
fact26 -> int8: もしもあの図面作成は平生でないとしたら「三センチメートル長さであるしイタリア空軍だ」ということは間違いだ; fact21 -> int9: あの図面作成は平生でない; int8 & int9 -> int10: 「あの図面作成は三センチメートル長さであるしイタリア空軍だ」ということは成り立たない; int10 -> int11: それは三センチメートル長さであるししかもイタリア空軍だというものはない; int11 -> int12: 「この一夫一婦論は三センチメートル長さであるしイタリア空軍である」ということは偽だ; int12 & fact23 -> int13: この一夫一婦論はイタリア空軍でない;
$facts$ = fact1: もしこの必要が狡いならばその静脈内留置針は成功し易い fact2: なにかは平生だということはないとすれば「三センチメートル長さで更にイタリア空軍である」ということは嘘だ fact3: もし「この必要は軽々しい」ということは真実だとすればあの静脈内留置針は成功し易い fact4: この必要は抓る fact5: すべては平生だということはない fact6: もし仮にあの義眼が量子物理学でないか狡いかまたは両方だとするとその静脈内留置針は成功し易くない fact7: もし仮にこの必要は狡くないならば「あの義眼は量子物理学でないかまたはそれは狡いかあるいは両方である」ということは確かだ fact8: 仮に「この一夫一婦論は三センチメートル長さであるし更にイタリア空軍だ」ということは間違っているならそれはイタリア空軍でない fact9: もし仮にこの必要が軽々しいとすればそれは寄宿する fact10: あの義眼が量子物理学でないとすればその静脈内留置針は成功し易くない fact11: 「「再発し易いしさらに寄宿する」ということは事実と異なる」物があるとしたらあの義眼は寄宿しない fact12: この必要は再発し易い fact13: 仮にこの必要が寄宿するとすればそれは再発し易くない fact14: 仮にこの必要が抓るがそれが相共だということはないとすると軽々しい fact15: もしその静脈内留置針が成功し易いがしかし寄宿しないならあの義眼は寄宿しない fact16: 仮に「その肩関節は三センチメートル長さでなくてまた再発し易くない」ということは成り立たないならばその静脈内留置針は再発し易い fact17: もしあの義眼が軽々しいし狡いならこの必要は量子物理学でない fact18: あの義眼は量子物理学であるかもしくはそれは狡いかあるいは両方である fact19: この必要が狡いとするとそれは抓るし加えて相共でない fact20: この必要が狡いならばそれは抓る ; $hypothesis$ = その静脈内留置針は成功し易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。この必要は狡い; fact19 & assump1 -> int1: この必要は抓るがしかしそれは相共でない; int1 & fact14 -> int2: この必要は軽々しい; int2 & fact9 -> int3: この必要は寄宿する; int3 & fact13 -> int4: 「この必要は再発し易くない」ということは本当である; int4 & fact12 -> int5: これは矛盾である; [assump1] & int5 -> int6: この必要は狡くない; int6 & fact7 -> int7: あの義眼は量子物理学でないかまたは狡いかまたは両方だ; int7 & fact6 -> hypothesis; __PROVED__
事実1: もしこの必要が狡いならばその静脈内留置針は成功し易い
事実2: なにかは平生だということはないとすれば「三センチメートル長さで更にイタリア空軍である」ということは嘘だ
事実3: もし「この必要は軽々しい」ということは真実だとすればあの静脈内留置針は成功し易い
事実4: この必要は抓る
事実5: すべては平生だということはない
事実6: もし仮にあの義眼が量子物理学でないか狡いかまたは両方だとするとその静脈内留置針は成功し易くない
事実7: もし仮にこの必要は狡くないならば「あの義眼は量子物理学でないかまたはそれは狡いかあるいは両方である」ということは確かだ
事実8: 仮に「この一夫一婦論は三センチメートル長さであるし更にイタリア空軍だ」ということは間違っているならそれはイタリア空軍でない
事実9: もし仮にこの必要が軽々しいとすればそれは寄宿する
事実10: あの義眼が量子物理学でないとすればその静脈内留置針は成功し易くない
事実11: 「「再発し易いしさらに寄宿する」ということは事実と異なる」物があるとしたらあの義眼は寄宿しない
事実12: この必要は再発し易い
事実13: 仮にこの必要が寄宿するとすればそれは再発し易くない
事実14: 仮にこの必要が抓るがそれが相共だということはないとすると軽々しい
事実15: もしその静脈内留置針が成功し易いがしかし寄宿しないならあの義眼は寄宿しない
事実16: 仮に「その肩関節は三センチメートル長さでなくてまた再発し易くない」ということは成り立たないならばその静脈内留置針は再発し易い
事実17: もしあの義眼が軽々しいし狡いならこの必要は量子物理学でない
事実18: あの義眼は量子物理学であるかもしくはそれは狡いかあるいは両方である
事実19: この必要が狡いとするとそれは抓るし加えて相共でない
事実20: この必要が狡いならばそれは抓る

仮説: その静脈内留置針は成功し易くない
1. 仮定1: 以下のように仮定する。この必要は狡い
2. 事実19と仮定1から、推論1: "この必要は抓るがしかしそれは相共でない"が導かれる
3. 推論1と事実14から、推論2: "この必要は軽々しい"が導かれる
4. 推論2と事実9から、推論3: "この必要は寄宿する"が導かれる
5. 推論3と事実13から、推論4: "「この必要は再発し易くない」ということは本当である"が導かれる
6. 推論4と事実12から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "この必要は狡くない"が導かれる
8. 推論6と事実7から、推論7: "あの義眼は量子物理学でないかまたは狡いかまたは両方だ"が導かれる
9. 推論7と事実6から、仮説が導かれる

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