あのプロモーション活動は引き兼ねるしそれに予知する
fact1: もし仮にとあるものは相対化するしかつ流れ続けるとしたらそれは引き兼ねる fact2: あのプロモーション活動は野鼠である fact3: あのプロモーション活動は過ぎる fact4: あのプロモーション活動は過ぎるし拭き終わる fact5: もし仮にあのプロモーション活動が野鼠だとするとそれは相対化するがしかし流れ続けない fact6: あのプロモーション活動は流れ続けない fact7: もしなにかは相対化する一方で流れ続けないとすれば引き兼ねる fact8: もしあのプロモーション活動は野鼠であるならそれは流れ続けない fact9: もし仮になんらかの物は拭き終われば「予知する」ということは正しい
fact4 -> int1: あのプロモーション活動は拭き終わる; fact9 -> int2: もし仮にあのプロモーション活動が拭き終わるとすると予知する; int1 & int2 -> int3: あのプロモーション活動は予知する; fact5 & fact2 -> int4: あのプロモーション活動は相対化するがしかし流れ続けない; fact7 -> int5: あのプロモーション活動が相対化する一方でそれが流れ続けないとするとそれは引き兼ねる; int4 & int5 -> int6: あのプロモーション活動は引き兼ねる; int3 & int6 -> hypothesis;
$facts$ = fact1: もし仮にとあるものは相対化するしかつ流れ続けるとしたらそれは引き兼ねる fact2: あのプロモーション活動は野鼠である fact3: あのプロモーション活動は過ぎる fact4: あのプロモーション活動は過ぎるし拭き終わる fact5: もし仮にあのプロモーション活動が野鼠だとするとそれは相対化するがしかし流れ続けない fact6: あのプロモーション活動は流れ続けない fact7: もしなにかは相対化する一方で流れ続けないとすれば引き兼ねる fact8: もしあのプロモーション活動は野鼠であるならそれは流れ続けない fact9: もし仮になんらかの物は拭き終われば「予知する」ということは正しい ; $hypothesis$ = あのプロモーション活動は引き兼ねるしそれに予知する ; $proof$ = 
fact4 -> int1: あのプロモーション活動は拭き終わる; fact9 -> int2: もし仮にあのプロモーション活動が拭き終わるとすると予知する; int1 & int2 -> int3: あのプロモーション活動は予知する; fact5 & fact2 -> int4: あのプロモーション活動は相対化するがしかし流れ続けない; fact7 -> int5: あのプロモーション活動が相対化する一方でそれが流れ続けないとするとそれは引き兼ねる; int4 & int5 -> int6: あのプロモーション活動は引き兼ねる; int3 & int6 -> hypothesis; __PROVED__
事実1: もし仮にとあるものは相対化するしかつ流れ続けるとしたらそれは引き兼ねる
事実2: あのプロモーション活動は野鼠である
事実3: あのプロモーション活動は過ぎる
事実4: あのプロモーション活動は過ぎるし拭き終わる
事実5: もし仮にあのプロモーション活動が野鼠だとするとそれは相対化するがしかし流れ続けない
事実6: あのプロモーション活動は流れ続けない
事実7: もしなにかは相対化する一方で流れ続けないとすれば引き兼ねる
事実8: もしあのプロモーション活動は野鼠であるならそれは流れ続けない
事実9: もし仮になんらかの物は拭き終われば「予知する」ということは正しい

仮説: あのプロモーション活動は引き兼ねるしそれに予知する
1. 事実4から、推論1: "あのプロモーション活動は拭き終わる"が導かれる
2. 事実9から、推論2: "もし仮にあのプロモーション活動が拭き終わるとすると予知する"が導かれる
3. 推論1と推論2から、推論3: "あのプロモーション活動は予知する"が導かれる
4. 事実5と事実2から、推論4: "あのプロモーション活動は相対化するがしかし流れ続けない"が導かれる
5. 事実7から、推論5: "あのプロモーション活動が相対化する一方でそれが流れ続けないとするとそれは引き兼ねる"が導かれる
6. 推論4と推論5から、推論6: "あのプロモーション活動は引き兼ねる"が導かれる
7. 推論3と推論6から、仮説が導かれる

よって、仮説が証明されました。