この勤務医は美しし更に起こし難い
fact1: この勤務医は美し fact2: もしその神司がリードしないとするとその経常増減はむくつけしない fact3: 仮に「その一項本文はリードする」ということは真実であるとしたらその神司はリードするということはないかまたは押し易くないかもしくはどちらもである fact4: もしその経常増減がむくつけしないならこの勤務医は美ししそれに起こし難い fact5: もし仮にその神司が押し易くないならばその経常増減はむくつけしない fact6: その経常増減がむくつけしないならこの勤務医は美し fact7: もし「その一項本文は油っぽくない」ということは事実ならば「この勤務医は美しし更に起こし難い」ということは間違っている fact8: もしもその神司がリードしないならばその経常増減はむくつけし fact9: このメジャーリーグは油っぽくないが乾き易い fact10: もし油っぽくて乾き易い物があるならその一項本文はリードする fact11: このメジャーリーグは油っぽくない fact12: もし油っぽいということはないものが乾き易いとすればその一項本文はリードする fact13: 「油っぽくない」ものはある
fact9 -> int1: 「なにかは油っぽくないが乾き易い」ということは誤っていない; int1 & fact12 -> int2: その一項本文はリードする; int2 & fact3 -> int3: その神司はリードしないか押し易くないかまたは両方ともだ; int3 & fact2 & fact5 -> int4: その経常増減はむくつけしない; int4 & fact4 -> hypothesis;
「この勤務医は美しし加えて起こし難い」ということは偽である
$facts$ = fact1: この勤務医は美し fact2: もしその神司がリードしないとするとその経常増減はむくつけしない fact3: 仮に「その一項本文はリードする」ということは真実であるとしたらその神司はリードするということはないかまたは押し易くないかもしくはどちらもである fact4: もしその経常増減がむくつけしないならこの勤務医は美ししそれに起こし難い fact5: もし仮にその神司が押し易くないならばその経常増減はむくつけしない fact6: その経常増減がむくつけしないならこの勤務医は美し fact7: もし「その一項本文は油っぽくない」ということは事実ならば「この勤務医は美しし更に起こし難い」ということは間違っている fact8: もしもその神司がリードしないならばその経常増減はむくつけし fact9: このメジャーリーグは油っぽくないが乾き易い fact10: もし油っぽくて乾き易い物があるならその一項本文はリードする fact11: このメジャーリーグは油っぽくない fact12: もし油っぽいということはないものが乾き易いとすればその一項本文はリードする fact13: 「油っぽくない」ものはある ; $hypothesis$ = この勤務医は美しし更に起こし難い ; $proof$ = 
fact9 -> int1: 「なにかは油っぽくないが乾き易い」ということは誤っていない; int1 & fact12 -> int2: その一項本文はリードする; int2 & fact3 -> int3: その神司はリードしないか押し易くないかまたは両方ともだ; int3 & fact2 & fact5 -> int4: その経常増減はむくつけしない; int4 & fact4 -> hypothesis; __PROVED__
事実1: この勤務医は美し
事実2: もしその神司がリードしないとするとその経常増減はむくつけしない
事実3: 仮に「その一項本文はリードする」ということは真実であるとしたらその神司はリードするということはないかまたは押し易くないかもしくはどちらもである
事実4: もしその経常増減がむくつけしないならこの勤務医は美ししそれに起こし難い
事実5: もし仮にその神司が押し易くないならばその経常増減はむくつけしない
事実6: その経常増減がむくつけしないならこの勤務医は美し
事実7: もし「その一項本文は油っぽくない」ということは事実ならば「この勤務医は美しし更に起こし難い」ということは間違っている
事実8: もしもその神司がリードしないならばその経常増減はむくつけし
事実9: このメジャーリーグは油っぽくないが乾き易い
事実10: もし油っぽくて乾き易い物があるならその一項本文はリードする
事実11: このメジャーリーグは油っぽくない
事実12: もし油っぽいということはないものが乾き易いとすればその一項本文はリードする
事実13: 「油っぽくない」ものはある

仮説: この勤務医は美しし更に起こし難い
1. 事実9から、推論1: "「なにかは油っぽくないが乾き易い」ということは誤っていない"が導かれる
2. 推論1と事実12から、推論2: "その一項本文はリードする"が導かれる
3. 推論2と事実3から、推論3: "その神司はリードしないか押し易くないかまたは両方ともだ"が導かれる
4. 推論3と事実2と事実5から、推論4: "その経常増減はむくつけしない"が導かれる
5. 推論4と事実4から、仮説が導かれる

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