あの呂君は成功し易い
fact1: あの呂君は名実だ一方で阻喪しない fact2: あのポリペプチドは逞しいがしかし象でない fact3: 仮にあの呂君が肌寒いけれどさ迷い込まないとすると成功し易い fact4: あの埋葬システムはうら若しけれど象でない fact5: あの呂君は象である fact6: もしもあの呂君が象だとしたらそれは肌寒い一方でさ迷い込まない fact7: あの呂君は肌寒い fact8: あの呂君は象だとすれば「それは肌寒い」ということは正しい fact9: 仮に「この排気口はうら若しがチェンジしない」ということは本当であるとすると「それは主砲である」ということは真実だ fact10: あの呂君は看護診断である
fact6 & fact5 -> int1: あの呂君は肌寒いがそれはさ迷い込まない; int1 & fact3 -> hypothesis;
$facts$ = fact1: あの呂君は名実だ一方で阻喪しない fact2: あのポリペプチドは逞しいがしかし象でない fact3: 仮にあの呂君が肌寒いけれどさ迷い込まないとすると成功し易い fact4: あの埋葬システムはうら若しけれど象でない fact5: あの呂君は象である fact6: もしもあの呂君が象だとしたらそれは肌寒い一方でさ迷い込まない fact7: あの呂君は肌寒い fact8: あの呂君は象だとすれば「それは肌寒い」ということは正しい fact9: 仮に「この排気口はうら若しがチェンジしない」ということは本当であるとすると「それは主砲である」ということは真実だ fact10: あの呂君は看護診断である ; $hypothesis$ = あの呂君は成功し易い ; $proof$ = 
fact6 & fact5 -> int1: あの呂君は肌寒いがそれはさ迷い込まない; int1 & fact3 -> hypothesis; __PROVED__
事実1: あの呂君は名実だ一方で阻喪しない
事実2: あのポリペプチドは逞しいがしかし象でない
事実3: 仮にあの呂君が肌寒いけれどさ迷い込まないとすると成功し易い
事実4: あの埋葬システムはうら若しけれど象でない
事実5: あの呂君は象である
事実6: もしもあの呂君が象だとしたらそれは肌寒い一方でさ迷い込まない
事実7: あの呂君は肌寒い
事実8: あの呂君は象だとすれば「それは肌寒い」ということは正しい
事実9: 仮に「この排気口はうら若しがチェンジしない」ということは本当であるとすると「それは主砲である」ということは真実だ
事実10: あの呂君は看護診断である

仮説: あの呂君は成功し易い
1. 事実6と事実5から、推論1: "あの呂君は肌寒いがそれはさ迷い込まない"が導かれる
2. 推論1と事実3から、仮説が導かれる

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