その金融検査マニュアルは事務負担でない
fact1: 仮にその金融検査マニュアルは測り兼ねるしさらに小暗いとするとそれは事務負担でない fact2: もし仮にこの課題遂行が小暗いならその床店は悲しくない fact3: もしもその床店が磯松でないならばこの課題遂行は嫉妬深いということはないがしかし剥げ掛かる fact4: もしも何らかのものが上昇し易いとすれば強制転換条項付け株式であるということはないしさらに悲しくない fact5: もしその金融検査マニュアルは強制転換条項付け株式でないしさらに悲しくないとすれば測り兼ねる fact6: 仮にこの課題遂行が測り兼ねるとするとその床店は悲しいということはない fact7: もし仮にその床店が悲しくないならばあの金融検査マニュアルは強制転換条項付け株式だしさらに事務負担だ fact8: この課題遂行は小暗いかあるいは測り兼ねるかもしくは両方だ
fact8 & fact2 & fact6 -> int1: その床店は悲しくない; int1 & fact7 -> int2: その金融検査マニュアルは強制転換条項付け株式であるし更に事務負担である; int2 -> hypothesis;
その金融検査マニュアルは事務負担だということはない
fact10 -> int3: もしその金融検査マニュアルが上昇し易いとすれば強制転換条項付け株式だということはないしかつ悲しくない;
$facts$ = fact1: 仮にその金融検査マニュアルは測り兼ねるしさらに小暗いとするとそれは事務負担でない fact2: もし仮にこの課題遂行が小暗いならその床店は悲しくない fact3: もしもその床店が磯松でないならばこの課題遂行は嫉妬深いということはないがしかし剥げ掛かる fact4: もしも何らかのものが上昇し易いとすれば強制転換条項付け株式であるということはないしさらに悲しくない fact5: もしその金融検査マニュアルは強制転換条項付け株式でないしさらに悲しくないとすれば測り兼ねる fact6: 仮にこの課題遂行が測り兼ねるとするとその床店は悲しいということはない fact7: もし仮にその床店が悲しくないならばあの金融検査マニュアルは強制転換条項付け株式だしさらに事務負担だ fact8: この課題遂行は小暗いかあるいは測り兼ねるかもしくは両方だ ; $hypothesis$ = その金融検査マニュアルは事務負担でない ; $proof$ = 
fact8 & fact2 & fact6 -> int1: その床店は悲しくない; int1 & fact7 -> int2: その金融検査マニュアルは強制転換条項付け株式であるし更に事務負担である; int2 -> hypothesis; __DISPROVED__
事実1: 仮にその金融検査マニュアルは測り兼ねるしさらに小暗いとするとそれは事務負担でない
事実2: もし仮にこの課題遂行が小暗いならその床店は悲しくない
事実3: もしもその床店が磯松でないならばこの課題遂行は嫉妬深いということはないがしかし剥げ掛かる
事実4: もしも何らかのものが上昇し易いとすれば強制転換条項付け株式であるということはないしさらに悲しくない
事実5: もしその金融検査マニュアルは強制転換条項付け株式でないしさらに悲しくないとすれば測り兼ねる
事実6: 仮にこの課題遂行が測り兼ねるとするとその床店は悲しいということはない
事実7: もし仮にその床店が悲しくないならばあの金融検査マニュアルは強制転換条項付け株式だしさらに事務負担だ
事実8: この課題遂行は小暗いかあるいは測り兼ねるかもしくは両方だ

仮説: その金融検査マニュアルは事務負担でない
1. 事実8と事実2と事実6から、推論1: "その床店は悲しくない"が導かれる
2. 推論1と事実7から、推論2: "その金融検査マニュアルは強制転換条項付け株式であるし更に事務負担である"が導かれる
3. 推論2から、仮説が否定される

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