この拡張期は遊行しない
fact1: もし仮にこの製鉄業は電力事業だけれど遊行しないなら「この拡張期は遊行しない」ということは事実である fact2: この拡張期はディアボロモンである fact3: この製鉄業は電力事業だし更にディアボロモンである fact4: もしもなにかは電力事業でないとしたらそれはディアボロモンである fact5: この製鉄業は電力事業でないなら「小穿通孔であるがディアボロモンだということはない」ということは間違っている fact6: もし仮にこの電子承認が規定しないとすれば死傷するか電力事業であるかあるいは両方である fact7: この拡張期は見出だし難くてかつディアボロモンである fact8: あのＰＭＳが逃げ切れなくてそれにそれが規定するということはないとするとこの電子承認は規定しない fact9: あの少なさはディアボロモンだ fact10: この拡張期はディアボロモンであるしかつ遊行する fact11: あの実演家等保護条約は遊行する
fact10 -> hypothesis;
fact10 -> hypothesis;
この拡張期は遊行しない
fact12 -> int1: この製鉄業は電力事業だ;
$facts$ = fact1: もし仮にこの製鉄業は電力事業だけれど遊行しないなら「この拡張期は遊行しない」ということは事実である fact2: この拡張期はディアボロモンである fact3: この製鉄業は電力事業だし更にディアボロモンである fact4: もしもなにかは電力事業でないとしたらそれはディアボロモンである fact5: この製鉄業は電力事業でないなら「小穿通孔であるがディアボロモンだということはない」ということは間違っている fact6: もし仮にこの電子承認が規定しないとすれば死傷するか電力事業であるかあるいは両方である fact7: この拡張期は見出だし難くてかつディアボロモンである fact8: あのＰＭＳが逃げ切れなくてそれにそれが規定するということはないとするとこの電子承認は規定しない fact9: あの少なさはディアボロモンだ fact10: この拡張期はディアボロモンであるしかつ遊行する fact11: あの実演家等保護条約は遊行する ; $hypothesis$ = この拡張期は遊行しない ; $proof$ = 
fact10 -> hypothesis; __DISPROVED__
事実1: もし仮にこの製鉄業は電力事業だけれど遊行しないなら「この拡張期は遊行しない」ということは事実である
事実2: この拡張期はディアボロモンである
事実3: この製鉄業は電力事業だし更にディアボロモンである
事実4: もしもなにかは電力事業でないとしたらそれはディアボロモンである
事実5: この製鉄業は電力事業でないなら「小穿通孔であるがディアボロモンだということはない」ということは間違っている
事実6: もし仮にこの電子承認が規定しないとすれば死傷するか電力事業であるかあるいは両方である
事実7: この拡張期は見出だし難くてかつディアボロモンである
事実8: あのＰＭＳが逃げ切れなくてそれにそれが規定するということはないとするとこの電子承認は規定しない
事実9: あの少なさはディアボロモンだ
事実10: この拡張期はディアボロモンであるしかつ遊行する
事実11: あの実演家等保護条約は遊行する

仮説: この拡張期は遊行しない
1. 事実10から、仮説が否定される

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