この製作費はオーバーラップする
fact1: もしもその概数がしゃあ無いということはないとしたら詰め碁であるしＡ債権だ fact2: もし「なんらかの物は詰め碁でないしそれは得失でない」ということは間違っているとするとそれはオーバーラップする fact3: 「この製作費は成し難くない」ということは正しい fact4: この製作費は得失でなくてオーバーラップしない fact5: 詰め碁は得失でない fact6: この製作費は震わない fact7: その線分Ｌはオーバーラップしない fact8: この製作費は向き合わなくて得失でない fact9: この製作費は得失でない fact10: この鏡像は御立ち寄り下さらないししかもしゃあ無いということはない
fact4 -> hypothesis;
その概数は心臓マッサージでなくてオーバーラップしない
fact12 -> int1: もしもその概数は詰め碁であるならそれは得失でない;
$facts$ = fact1: もしもその概数がしゃあ無いということはないとしたら詰め碁であるしＡ債権だ fact2: もし「なんらかの物は詰め碁でないしそれは得失でない」ということは間違っているとするとそれはオーバーラップする fact3: 「この製作費は成し難くない」ということは正しい fact4: この製作費は得失でなくてオーバーラップしない fact5: 詰め碁は得失でない fact6: この製作費は震わない fact7: その線分Ｌはオーバーラップしない fact8: この製作費は向き合わなくて得失でない fact9: この製作費は得失でない fact10: この鏡像は御立ち寄り下さらないししかもしゃあ無いということはない ; $hypothesis$ = この製作費はオーバーラップする ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: もしもその概数がしゃあ無いということはないとしたら詰め碁であるしＡ債権だ
事実2: もし「なんらかの物は詰め碁でないしそれは得失でない」ということは間違っているとするとそれはオーバーラップする
事実3: 「この製作費は成し難くない」ということは正しい
事実4: この製作費は得失でなくてオーバーラップしない
事実5: 詰め碁は得失でない
事実6: この製作費は震わない
事実7: その線分Ｌはオーバーラップしない
事実8: この製作費は向き合わなくて得失でない
事実9: この製作費は得失でない
事実10: この鏡像は御立ち寄り下さらないししかもしゃあ無いということはない

仮説: この製作費はオーバーラップする
1. 事実4から、仮説が否定される

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