この変数Ｘは冷凍パイシートでない
fact1: とあるものは付加退職金だ fact2: もし仮にその根拠がリスペクトするとするとあの戦局はプロらしくないし加えてすっごーいということはない fact3: もしとあるものは扱いすれば「それはヨルダン人である」ということは事実である fact4: もしあの戦局がプロらしいということはないしその上すっごーいないならばその区分フレームは痩せ難い fact5: 「付加退職金である」ものがあるならその根拠は行われ易いしさらに報じる fact6: もしもその区分フレームが痩せ難いならその教令は扱いする fact7: その教令がヨルダン人であるならばこの変数Ｘは冷凍パイシートだ fact8: 行われ易い物はリスペクトする
fact1 & fact5 -> int1: 「その根拠は行われ易いし加えてそれは報じる」ということは成り立つ; int1 -> int2: 「その根拠は行われ易い」ということは成り立つ; fact8 -> int3: その根拠が行われ易いとするとそれはリスペクトする; int2 & int3 -> int4: その根拠はリスペクトする; int4 & fact2 -> int5: あの戦局はプロらしくないしすっごーくない; int5 & fact4 -> int6: その区分フレームは痩せ難い; int6 & fact6 -> int7: 「その教令は扱いする」ということは正しい; fact3 -> int8: もし仮にその教令が扱いするとしたらそれはヨルダン人だ; int7 & int8 -> int9: その教令はヨルダン人だ; int9 & fact7 -> hypothesis;
$facts$ = fact1: とあるものは付加退職金だ fact2: もし仮にその根拠がリスペクトするとするとあの戦局はプロらしくないし加えてすっごーいということはない fact3: もしとあるものは扱いすれば「それはヨルダン人である」ということは事実である fact4: もしあの戦局がプロらしいということはないしその上すっごーいないならばその区分フレームは痩せ難い fact5: 「付加退職金である」ものがあるならその根拠は行われ易いしさらに報じる fact6: もしもその区分フレームが痩せ難いならその教令は扱いする fact7: その教令がヨルダン人であるならばこの変数Ｘは冷凍パイシートだ fact8: 行われ易い物はリスペクトする ; $hypothesis$ = この変数Ｘは冷凍パイシートでない ; $proof$ = 
fact1 & fact5 -> int1: 「その根拠は行われ易いし加えてそれは報じる」ということは成り立つ; int1 -> int2: 「その根拠は行われ易い」ということは成り立つ; fact8 -> int3: その根拠が行われ易いとするとそれはリスペクトする; int2 & int3 -> int4: その根拠はリスペクトする; int4 & fact2 -> int5: あの戦局はプロらしくないしすっごーくない; int5 & fact4 -> int6: その区分フレームは痩せ難い; int6 & fact6 -> int7: 「その教令は扱いする」ということは正しい; fact3 -> int8: もし仮にその教令が扱いするとしたらそれはヨルダン人だ; int7 & int8 -> int9: その教令はヨルダン人だ; int9 & fact7 -> hypothesis; __DISPROVED__
事実1: とあるものは付加退職金だ
事実2: もし仮にその根拠がリスペクトするとするとあの戦局はプロらしくないし加えてすっごーいということはない
事実3: もしとあるものは扱いすれば「それはヨルダン人である」ということは事実である
事実4: もしあの戦局がプロらしいということはないしその上すっごーいないならばその区分フレームは痩せ難い
事実5: 「付加退職金である」ものがあるならその根拠は行われ易いしさらに報じる
事実6: もしもその区分フレームが痩せ難いならその教令は扱いする
事実7: その教令がヨルダン人であるならばこの変数Ｘは冷凍パイシートだ
事実8: 行われ易い物はリスペクトする

仮説: この変数Ｘは冷凍パイシートでない
1. 事実1と事実5から、推論1: "「その根拠は行われ易いし加えてそれは報じる」ということは成り立つ"が導かれる
2. 推論1から、推論2: "「その根拠は行われ易い」ということは成り立つ"が導かれる
3. 事実8から、推論3: "その根拠が行われ易いとするとそれはリスペクトする"が導かれる
4. 推論2と推論3から、推論4: "その根拠はリスペクトする"が導かれる
5. 推論4と事実2から、推論5: "あの戦局はプロらしくないしすっごーくない"が導かれる
6. 推論5と事実4から、推論6: "その区分フレームは痩せ難い"が導かれる
7. 推論6と事実6から、推論7: "「その教令は扱いする」ということは正しい"が導かれる
8. 事実3から、推論8: "もし仮にその教令が扱いするとしたらそれはヨルダン人だ"が導かれる
9. 推論7と推論8から、推論9: "その教令はヨルダン人だ"が導かれる
10. 推論9と事実7から、仮説が否定される

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