この日銀総裁は塩揉み用だ
fact1: もし仮にある物は上行するとすると「ぐらつくしそれに火災予防訓練でない」ということは真実でない fact2: この日銀総裁は手堅い fact3: 仮にその白銀はごつかないけれど浅黒いとしたら立ち退かさない fact4: もしこの一次産卵者は空々しいとすると「それはキープ出来ないけど上行する」ということは間違っている fact5: もし仮に「「ぐらつくけれど火災予防訓練でない」ということは間違いである」ものがあればこの戦勝国はキープ出来ない fact6: もしもなにかはキープ出来るということはないなら火災予防訓練であるしかつぐらつく fact7: 「この一次産卵者は上行しない」ということは本当だ fact8: もしもこの一次産卵者が上行するということはないしさらにキープ出来ないとすればこの日銀総裁は空々しい fact9: この一次産卵者は火災予防訓練だしぐらつく fact10: 仮にその白銀が手堅いとしたらこの一次産卵者は空々しい fact11: 仮に手堅い物が空々しいとするとそれは塩揉み用でない fact12: その白銀はごつかない一方でそれは浅黒い fact13: もし仮にあるものは火災予防訓練であるとしたらそれは塩揉み用である fact14: もし仮にとあるものが立ち退かさないとすればそれは塩揉み用だ fact15: この一次産卵者はぐらつく fact16: 「あの決定打は上行しない」ということは本当だ fact17: もしある物は火災予防訓練であるとするとそれはキープ出来ない
fact9 -> int1: この一次産卵者は火災予防訓練だ; fact17 -> int2: この一次産卵者は火災予防訓練であるならそれはキープ出来ない; int1 & int2 -> int3: この一次産卵者はキープ出来ない; int3 & fact7 -> int4: この一次産卵者は上行しなくてかつそれはキープ出来ない; int4 & fact8 -> int5: この日銀総裁は空々しい; int5 & fact2 -> int6: この日銀総裁は手堅くてかつ空々しい; fact11 -> int7: もしも「この日銀総裁は手堅くてそれは空々しい」ということは成り立てば塩揉み用でない; int6 & int7 -> hypothesis;
この戦勝国はキープ出来ない
fact22 -> int8: もし仮に「この一次産卵者は上行する」ということは事実であるならば「ぐらつくしまたそれは火災予防訓練でない」ということは間違っている; fact18 -> int9: 仮にその白銀が立ち退かさないならそれは塩揉み用である; fact21 & fact20 -> int10: 「その白銀は立ち退かすということはない」ということは真実である; int9 & int10 -> int11: その白銀は塩揉み用だ; int11 -> int12: 「「塩揉み用だ」ということは本当な」ものはある;
$facts$ = fact1: もし仮にある物は上行するとすると「ぐらつくしそれに火災予防訓練でない」ということは真実でない fact2: この日銀総裁は手堅い fact3: 仮にその白銀はごつかないけれど浅黒いとしたら立ち退かさない fact4: もしこの一次産卵者は空々しいとすると「それはキープ出来ないけど上行する」ということは間違っている fact5: もし仮に「「ぐらつくけれど火災予防訓練でない」ということは間違いである」ものがあればこの戦勝国はキープ出来ない fact6: もしもなにかはキープ出来るということはないなら火災予防訓練であるしかつぐらつく fact7: 「この一次産卵者は上行しない」ということは本当だ fact8: もしもこの一次産卵者が上行するということはないしさらにキープ出来ないとすればこの日銀総裁は空々しい fact9: この一次産卵者は火災予防訓練だしぐらつく fact10: 仮にその白銀が手堅いとしたらこの一次産卵者は空々しい fact11: 仮に手堅い物が空々しいとするとそれは塩揉み用でない fact12: その白銀はごつかない一方でそれは浅黒い fact13: もし仮にあるものは火災予防訓練であるとしたらそれは塩揉み用である fact14: もし仮にとあるものが立ち退かさないとすればそれは塩揉み用だ fact15: この一次産卵者はぐらつく fact16: 「あの決定打は上行しない」ということは本当だ fact17: もしある物は火災予防訓練であるとするとそれはキープ出来ない ; $hypothesis$ = この日銀総裁は塩揉み用だ ; $proof$ = 
fact9 -> int1: この一次産卵者は火災予防訓練だ; fact17 -> int2: この一次産卵者は火災予防訓練であるならそれはキープ出来ない; int1 & int2 -> int3: この一次産卵者はキープ出来ない; int3 & fact7 -> int4: この一次産卵者は上行しなくてかつそれはキープ出来ない; int4 & fact8 -> int5: この日銀総裁は空々しい; int5 & fact2 -> int6: この日銀総裁は手堅くてかつ空々しい; fact11 -> int7: もしも「この日銀総裁は手堅くてそれは空々しい」ということは成り立てば塩揉み用でない; int6 & int7 -> hypothesis; __DISPROVED__
事実1: もし仮にある物は上行するとすると「ぐらつくしそれに火災予防訓練でない」ということは真実でない
事実2: この日銀総裁は手堅い
事実3: 仮にその白銀はごつかないけれど浅黒いとしたら立ち退かさない
事実4: もしこの一次産卵者は空々しいとすると「それはキープ出来ないけど上行する」ということは間違っている
事実5: もし仮に「「ぐらつくけれど火災予防訓練でない」ということは間違いである」ものがあればこの戦勝国はキープ出来ない
事実6: もしもなにかはキープ出来るということはないなら火災予防訓練であるしかつぐらつく
事実7: 「この一次産卵者は上行しない」ということは本当だ
事実8: もしもこの一次産卵者が上行するということはないしさらにキープ出来ないとすればこの日銀総裁は空々しい
事実9: この一次産卵者は火災予防訓練だしぐらつく
事実10: 仮にその白銀が手堅いとしたらこの一次産卵者は空々しい
事実11: 仮に手堅い物が空々しいとするとそれは塩揉み用でない
事実12: その白銀はごつかない一方でそれは浅黒い
事実13: もし仮にあるものは火災予防訓練であるとしたらそれは塩揉み用である
事実14: もし仮にとあるものが立ち退かさないとすればそれは塩揉み用だ
事実15: この一次産卵者はぐらつく
事実16: 「あの決定打は上行しない」ということは本当だ
事実17: もしある物は火災予防訓練であるとするとそれはキープ出来ない

仮説: この日銀総裁は塩揉み用だ
1. 事実9から、推論1: "この一次産卵者は火災予防訓練だ"が導かれる
2. 事実17から、推論2: "この一次産卵者は火災予防訓練であるならそれはキープ出来ない"が導かれる
3. 推論1と推論2から、推論3: "この一次産卵者はキープ出来ない"が導かれる
4. 推論3と事実7から、推論4: "この一次産卵者は上行しなくてかつそれはキープ出来ない"が導かれる
5. 推論4と事実8から、推論5: "この日銀総裁は空々しい"が導かれる
6. 推論5と事実2から、推論6: "この日銀総裁は手堅くてかつ空々しい"が導かれる
7. 事実11から、推論7: "もしも「この日銀総裁は手堅くてそれは空々しい」ということは成り立てば塩揉み用でない"が導かれる
8. 推論6と推論7から、仮説が否定される

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