その戦闘は店舗間だ
fact1: もしその戦闘は提出方法でないしさらに同情しないとしたらそれは店舗間だということはない fact2: その宝剣は店舗間でない fact3: その戦闘は提出方法でなくて出難くない fact4: その戦闘は提出方法でなくてそれは同情するということはない fact5: もしその戦闘が狭いけれど切り捌かないならばそれは平成○年○月○日でない fact6: もしその戦闘は初々しいがしかし同情しないとすれば復刊しない fact7: 仮にその私怨が提出方法でなくておまけに中・下でないとしたらそれは東半部でない fact8: その戦闘は乗り難くないししかも着用しない
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
$facts$ = fact1: もしその戦闘は提出方法でないしさらに同情しないとしたらそれは店舗間だということはない fact2: その宝剣は店舗間でない fact3: その戦闘は提出方法でなくて出難くない fact4: その戦闘は提出方法でなくてそれは同情するということはない fact5: もしその戦闘が狭いけれど切り捌かないならばそれは平成○年○月○日でない fact6: もしその戦闘は初々しいがしかし同情しないとすれば復刊しない fact7: 仮にその私怨が提出方法でなくておまけに中・下でないとしたらそれは東半部でない fact8: その戦闘は乗り難くないししかも着用しない ; $hypothesis$ = その戦闘は店舗間だ ; $proof$ = 
fact1 & fact4 -> hypothesis; __DISPROVED__
事実1: もしその戦闘は提出方法でないしさらに同情しないとしたらそれは店舗間だということはない
事実2: その宝剣は店舗間でない
事実3: その戦闘は提出方法でなくて出難くない
事実4: その戦闘は提出方法でなくてそれは同情するということはない
事実5: もしその戦闘が狭いけれど切り捌かないならばそれは平成○年○月○日でない
事実6: もしその戦闘は初々しいがしかし同情しないとすれば復刊しない
事実7: 仮にその私怨が提出方法でなくておまけに中・下でないとしたらそれは東半部でない
事実8: その戦闘は乗り難くないししかも着用しない

仮説: その戦闘は店舗間だ
1. 事実1と事実4から、仮説が否定される

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