あの大手証券会社は勝ち越す
fact1: なにかは空振りするということはないとしたらそれは動かない fact2: この卯年は父親らしいとすれば「御頼みしないかまたは拙いかもしくは両方だ」ということは事実だということはない fact3: この卯年は御頼みするか拙い fact4: 仮にこの卯年は父親らしいとしたら「それは御頼みする」ということは確かである fact5: あの花束は変化し始めるしそれは変わり果てる fact6: もしもなにかは変化し始めるがしかし造血幹細胞でないならそれは空振りしない fact7: この卯年は父親らしい fact8: もしもあの花束が造血幹細胞であるならこの卯年は御頼みしないかあるいは拙い fact9: もし仮にあの花束が動かないならあの大手証券会社は勝ち越さない
void -> assump1: 以下のように仮定する。あの花束は造血幹細胞である; fact8 & assump1 -> int1: この卯年は御頼みしないかまたは拙いかもしくはどちらもだ; fact7 & fact2 -> int2: 「この卯年は御頼みしないかまたは拙いかあるいは両方ともである」ということは成り立つということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの花束は造血幹細胞だということはない; fact5 -> int5: あの花束は変化し始める; int4 & int5 -> int6: あの花束は変化し始めるけど造血幹細胞であるということはない; fact6 -> int7: もしあの花束は変化し始める一方で造血幹細胞でないならそれは空振りするということはない; int6 & int7 -> int8: あの花束は空振りするということはない; fact1 -> int9: もしも「あの花束は空振りするということはない」ということは事実なら動かない; int8 & int9 -> int10: 「あの花束は動かない」ということは真実だ; int10 & fact9 -> hypothesis;
$facts$ = fact1: なにかは空振りするということはないとしたらそれは動かない fact2: この卯年は父親らしいとすれば「御頼みしないかまたは拙いかもしくは両方だ」ということは事実だということはない fact3: この卯年は御頼みするか拙い fact4: 仮にこの卯年は父親らしいとしたら「それは御頼みする」ということは確かである fact5: あの花束は変化し始めるしそれは変わり果てる fact6: もしもなにかは変化し始めるがしかし造血幹細胞でないならそれは空振りしない fact7: この卯年は父親らしい fact8: もしもあの花束が造血幹細胞であるならこの卯年は御頼みしないかあるいは拙い fact9: もし仮にあの花束が動かないならあの大手証券会社は勝ち越さない ; $hypothesis$ = あの大手証券会社は勝ち越す ; $proof$ = 
void -> assump1: 以下のように仮定する。あの花束は造血幹細胞である; fact8 & assump1 -> int1: この卯年は御頼みしないかまたは拙いかもしくはどちらもだ; fact7 & fact2 -> int2: 「この卯年は御頼みしないかまたは拙いかあるいは両方ともである」ということは成り立つということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの花束は造血幹細胞だということはない; fact5 -> int5: あの花束は変化し始める; int4 & int5 -> int6: あの花束は変化し始めるけど造血幹細胞であるということはない; fact6 -> int7: もしあの花束は変化し始める一方で造血幹細胞でないならそれは空振りするということはない; int6 & int7 -> int8: あの花束は空振りするということはない; fact1 -> int9: もしも「あの花束は空振りするということはない」ということは事実なら動かない; int8 & int9 -> int10: 「あの花束は動かない」ということは真実だ; int10 & fact9 -> hypothesis; __DISPROVED__
事実1: なにかは空振りするということはないとしたらそれは動かない
事実2: この卯年は父親らしいとすれば「御頼みしないかまたは拙いかもしくは両方だ」ということは事実だということはない
事実3: この卯年は御頼みするか拙い
事実4: 仮にこの卯年は父親らしいとしたら「それは御頼みする」ということは確かである
事実5: あの花束は変化し始めるしそれは変わり果てる
事実6: もしもなにかは変化し始めるがしかし造血幹細胞でないならそれは空振りしない
事実7: この卯年は父親らしい
事実8: もしもあの花束が造血幹細胞であるならこの卯年は御頼みしないかあるいは拙い
事実9: もし仮にあの花束が動かないならあの大手証券会社は勝ち越さない

仮説: あの大手証券会社は勝ち越す
1. 仮定1: 以下のように仮定する。あの花束は造血幹細胞である
2. 事実8と仮定1から、推論1: "この卯年は御頼みしないかまたは拙いかもしくはどちらもだ"が導かれる
3. 事実7と事実2から、推論2: "「この卯年は御頼みしないかまたは拙いかあるいは両方ともである」ということは成り立つということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの花束は造血幹細胞だということはない"が導かれる
6. 事実5から、推論5: "あの花束は変化し始める"が導かれる
7. 推論4と推論5から、推論6: "あの花束は変化し始めるけど造血幹細胞であるということはない"が導かれる
8. 事実6から、推論7: "もしあの花束は変化し始める一方で造血幹細胞でないならそれは空振りするということはない"が導かれる
9. 推論6と推論7から、推論8: "あの花束は空振りするということはない"が導かれる
10. 事実1から、推論9: "もしも「あの花束は空振りするということはない」ということは事実なら動かない"が導かれる
11. 推論8と推論9から、推論10: "「あの花束は動かない」ということは真実だ"が導かれる
12. 推論10と事実9から、仮説が否定される

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