この記念誌は馴れ馴れしくない
fact1: 仮に「あのＣ型肝炎はＭＩＤＩ入力ポートであるかあるいはポリメラーゼでない」ということは成り立たないならばこの閏は撤回出来る fact2: この記念誌は骨っぽい fact3: もしも「「傍聴でないし更にＭ夫人でない」ということは本当でない」物があるとすればこの閏は得難し fact4: もし仮にあのＣ型肝炎が馴れ馴れしくなくて加えて得難しということはないならばこの閏は馴れ馴れしい fact5: この私的自治はＭＩＤＩ入力ポートであるならばそれはポリメラーゼだ fact6: 「この私的自治は傍聴でなくてまたＭ夫人でない」ということは成り立たない fact7: もし仮にこの記念誌が得難しならばそれは骨っぽい fact8: 仮にこの閏が骨っぽくておまけに馬鹿でかいとしたらこの記念誌は得難し fact9: 「この閏が骨っぽいが馬鹿でかくないとするとこの記念誌は得難し」ということは真実である fact10: この閏は骨っぽいがしかし馬鹿でかくない fact11: この記念誌は撤回出来る fact12: ある物が撤回出来ないとすると馴れ馴れしいということはないしその上得難しない fact13: もし仮にこの記念誌は得難しとすると「それは馴れ馴れしい」ということは成り立つ fact14: この閏は馴れ馴れしいがそれは馬鹿でかくない fact15: 「あの一般用医薬品は借地借家法でないかあるいは傍聴でないかもしくは両方ともである」ということは誤りだ fact16: もしこの記念誌は馴れ馴れしい一方で骨っぽくないとしたら「この閏は馬鹿でかい」ということは確かだ fact17: この閏は馬鹿でかくない
fact9 & fact10 -> int1: この記念誌は得難し; int1 & fact13 -> hypothesis;
fact9 & fact10 -> int1: {B}{b}; int1 & fact13 -> hypothesis;
この記念誌は馴れ馴れしくない
fact19 -> int2: 仮にあのＣ型肝炎が撤回出来ないならばそれは馴れ馴れしいということはなくてそれにそれは得難しない; fact18 -> int3: 「「借地借家法でないかあるいは傍聴でない」ということは事実と異なる」物はある;
$facts$ = fact1: 仮に「あのＣ型肝炎はＭＩＤＩ入力ポートであるかあるいはポリメラーゼでない」ということは成り立たないならばこの閏は撤回出来る fact2: この記念誌は骨っぽい fact3: もしも「「傍聴でないし更にＭ夫人でない」ということは本当でない」物があるとすればこの閏は得難し fact4: もし仮にあのＣ型肝炎が馴れ馴れしくなくて加えて得難しということはないならばこの閏は馴れ馴れしい fact5: この私的自治はＭＩＤＩ入力ポートであるならばそれはポリメラーゼだ fact6: 「この私的自治は傍聴でなくてまたＭ夫人でない」ということは成り立たない fact7: もし仮にこの記念誌が得難しならばそれは骨っぽい fact8: 仮にこの閏が骨っぽくておまけに馬鹿でかいとしたらこの記念誌は得難し fact9: 「この閏が骨っぽいが馬鹿でかくないとするとこの記念誌は得難し」ということは真実である fact10: この閏は骨っぽいがしかし馬鹿でかくない fact11: この記念誌は撤回出来る fact12: ある物が撤回出来ないとすると馴れ馴れしいということはないしその上得難しない fact13: もし仮にこの記念誌は得難しとすると「それは馴れ馴れしい」ということは成り立つ fact14: この閏は馴れ馴れしいがそれは馬鹿でかくない fact15: 「あの一般用医薬品は借地借家法でないかあるいは傍聴でないかもしくは両方ともである」ということは誤りだ fact16: もしこの記念誌は馴れ馴れしい一方で骨っぽくないとしたら「この閏は馬鹿でかい」ということは確かだ fact17: この閏は馬鹿でかくない ; $hypothesis$ = この記念誌は馴れ馴れしくない ; $proof$ = 
fact9 & fact10 -> int1: この記念誌は得難し; int1 & fact13 -> hypothesis; __DISPROVED__
事実1: 仮に「あのＣ型肝炎はＭＩＤＩ入力ポートであるかあるいはポリメラーゼでない」ということは成り立たないならばこの閏は撤回出来る
事実2: この記念誌は骨っぽい
事実3: もしも「「傍聴でないし更にＭ夫人でない」ということは本当でない」物があるとすればこの閏は得難し
事実4: もし仮にあのＣ型肝炎が馴れ馴れしくなくて加えて得難しということはないならばこの閏は馴れ馴れしい
事実5: この私的自治はＭＩＤＩ入力ポートであるならばそれはポリメラーゼだ
事実6: 「この私的自治は傍聴でなくてまたＭ夫人でない」ということは成り立たない
事実7: もし仮にこの記念誌が得難しならばそれは骨っぽい
事実8: 仮にこの閏が骨っぽくておまけに馬鹿でかいとしたらこの記念誌は得難し
事実9: 「この閏が骨っぽいが馬鹿でかくないとするとこの記念誌は得難し」ということは真実である
事実10: この閏は骨っぽいがしかし馬鹿でかくない
事実11: この記念誌は撤回出来る
事実12: ある物が撤回出来ないとすると馴れ馴れしいということはないしその上得難しない
事実13: もし仮にこの記念誌は得難しとすると「それは馴れ馴れしい」ということは成り立つ
事実14: この閏は馴れ馴れしいがそれは馬鹿でかくない
事実15: 「あの一般用医薬品は借地借家法でないかあるいは傍聴でないかもしくは両方ともである」ということは誤りだ
事実16: もしこの記念誌は馴れ馴れしい一方で骨っぽくないとしたら「この閏は馬鹿でかい」ということは確かだ
事実17: この閏は馬鹿でかくない

仮説: この記念誌は馴れ馴れしくない
1. 事実9と事実10から、推論1: "この記念誌は得難し"が導かれる
2. 推論1と事実13から、仮説が否定される

よって、仮説が否定されました。