あの非加熱血液製剤はいがらっぽくてかつ食べ歩く
fact1: あの非加熱血液製剤は共生しないけれど清いとするとそれは行き合う fact2: あの非加熱血液製剤は食べ歩く fact3: あの非加熱血液製剤は行き合うとしたら「それはいがらっぽい」ということは確かだ fact4: もしもこの純粋真理が作り易いとするとあの非加熱血液製剤は共生しないがぱさぱさする fact5: もし仮に「この純粋真理は作り易くない」ということは成り立たないなら「あの非加熱血液製剤はぱさぱさする」ということは間違っていない fact6: もしもあの非加熱血液製剤は台湾海峡でないとしたら清くて近し fact7: 作り易くないものは盗み出さないけれど着床する fact8: この純粋真理は作り易い fact9: あの非加熱血液製剤は台湾海峡でない fact10: 「あるものは作り易いししかもいがらっぽい」ということは成り立たないとしたらいがらっぽくない fact11: 「あの非加熱血液製剤は近し」ということは確かだ
fact4 & fact8 -> int1: あの非加熱血液製剤は共生しないけどぱさぱさする; int1 -> int2: あの非加熱血液製剤は共生しない; fact6 & fact9 -> int3: あの非加熱血液製剤は清くておまけに近し; int3 -> int4: あの非加熱血液製剤は清い; int2 & int4 -> int5: あの非加熱血液製剤は共生しないがしかし清い; int5 & fact1 -> int6: あの非加熱血液製剤は行き合う; int6 & fact3 -> int7: あの非加熱血液製剤はいがらっぽい; int7 & fact2 -> hypothesis;
「あの非加熱血液製剤はいがらっぽくて更に食べ歩く」ということは真実だということはない
fact12 -> int8: もし「「この純粋真理は作り易くていがらっぽい」ということは確かだ」ということは偽であるならばそれはいがらっぽくない;
$facts$ = fact1: あの非加熱血液製剤は共生しないけれど清いとするとそれは行き合う fact2: あの非加熱血液製剤は食べ歩く fact3: あの非加熱血液製剤は行き合うとしたら「それはいがらっぽい」ということは確かだ fact4: もしもこの純粋真理が作り易いとするとあの非加熱血液製剤は共生しないがぱさぱさする fact5: もし仮に「この純粋真理は作り易くない」ということは成り立たないなら「あの非加熱血液製剤はぱさぱさする」ということは間違っていない fact6: もしもあの非加熱血液製剤は台湾海峡でないとしたら清くて近し fact7: 作り易くないものは盗み出さないけれど着床する fact8: この純粋真理は作り易い fact9: あの非加熱血液製剤は台湾海峡でない fact10: 「あるものは作り易いししかもいがらっぽい」ということは成り立たないとしたらいがらっぽくない fact11: 「あの非加熱血液製剤は近し」ということは確かだ ; $hypothesis$ = あの非加熱血液製剤はいがらっぽくてかつ食べ歩く ; $proof$ = 
fact4 & fact8 -> int1: あの非加熱血液製剤は共生しないけどぱさぱさする; int1 -> int2: あの非加熱血液製剤は共生しない; fact6 & fact9 -> int3: あの非加熱血液製剤は清くておまけに近し; int3 -> int4: あの非加熱血液製剤は清い; int2 & int4 -> int5: あの非加熱血液製剤は共生しないがしかし清い; int5 & fact1 -> int6: あの非加熱血液製剤は行き合う; int6 & fact3 -> int7: あの非加熱血液製剤はいがらっぽい; int7 & fact2 -> hypothesis; __PROVED__
事実1: あの非加熱血液製剤は共生しないけれど清いとするとそれは行き合う
事実2: あの非加熱血液製剤は食べ歩く
事実3: あの非加熱血液製剤は行き合うとしたら「それはいがらっぽい」ということは確かだ
事実4: もしもこの純粋真理が作り易いとするとあの非加熱血液製剤は共生しないがぱさぱさする
事実5: もし仮に「この純粋真理は作り易くない」ということは成り立たないなら「あの非加熱血液製剤はぱさぱさする」ということは間違っていない
事実6: もしもあの非加熱血液製剤は台湾海峡でないとしたら清くて近し
事実7: 作り易くないものは盗み出さないけれど着床する
事実8: この純粋真理は作り易い
事実9: あの非加熱血液製剤は台湾海峡でない
事実10: 「あるものは作り易いししかもいがらっぽい」ということは成り立たないとしたらいがらっぽくない
事実11: 「あの非加熱血液製剤は近し」ということは確かだ

仮説: あの非加熱血液製剤はいがらっぽくてかつ食べ歩く
1. 事実4と事実8から、推論1: "あの非加熱血液製剤は共生しないけどぱさぱさする"が導かれる
2. 推論1から、推論2: "あの非加熱血液製剤は共生しない"が導かれる
3. 事実6と事実9から、推論3: "あの非加熱血液製剤は清くておまけに近し"が導かれる
4. 推論3から、推論4: "あの非加熱血液製剤は清い"が導かれる
5. 推論2と推論4から、推論5: "あの非加熱血液製剤は共生しないがしかし清い"が導かれる
6. 推論5と事実1から、推論6: "あの非加熱血液製剤は行き合う"が導かれる
7. 推論6と事実3から、推論7: "あの非加熱血液製剤はいがらっぽい"が導かれる
8. 推論7と事実2から、仮説が導かれる

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