あの前頭前野は飛び切りでない
fact1: あの前頭前野は貧しい fact2: 把握し辛いものは労働契約承継法だ fact3: もし仮にあの前頭前野が反応し易いなら捨て難い fact4: そのアモンティリアードが反応し易くてそれが捨て難いとするとあの前頭前野は飛び切りでない fact5: 仮に何かは近侍するとすればそれは水死する fact6: そのシャベルはホワイトハウス入りする fact7: もし仮に何らかの物はホワイトハウス入りするとしたら「それは反応し易い」ということは本当である fact8: もしもそのＳＣＭが飛び切りならそれは恋愛である fact9: あの前頭前野は反応し易い fact10: そのアモンティリアードはホワイトハウス入りしないしその上考え難くない fact11: あの検証時は捨て難い fact12: 飛び切りは反応し易い fact13: もしあるものがホワイトハウス入りするとすると飛び切りだ fact14: もしあるものが打ち易いとすればそれは植民地化する fact15: もしも何かは捨て難いとすると「ホワイトハウス入りする」ということは事実である
fact3 & fact9 -> int1: あの前頭前野は捨て難い; fact15 -> int2: もしもあの前頭前野が捨て難いならばそれはホワイトハウス入りする; int1 & int2 -> int3: あの前頭前野はホワイトハウス入りする; fact13 -> int4: あの前頭前野がホワイトハウス入りするとするとそれは飛び切りだ; int3 & int4 -> hypothesis;
あの前頭前野は飛び切りだということはない
fact17 -> int5: そのアモンティリアードはホワイトハウス入りしない;
$facts$ = fact1: あの前頭前野は貧しい fact2: 把握し辛いものは労働契約承継法だ fact3: もし仮にあの前頭前野が反応し易いなら捨て難い fact4: そのアモンティリアードが反応し易くてそれが捨て難いとするとあの前頭前野は飛び切りでない fact5: 仮に何かは近侍するとすればそれは水死する fact6: そのシャベルはホワイトハウス入りする fact7: もし仮に何らかの物はホワイトハウス入りするとしたら「それは反応し易い」ということは本当である fact8: もしもそのＳＣＭが飛び切りならそれは恋愛である fact9: あの前頭前野は反応し易い fact10: そのアモンティリアードはホワイトハウス入りしないしその上考え難くない fact11: あの検証時は捨て難い fact12: 飛び切りは反応し易い fact13: もしあるものがホワイトハウス入りするとすると飛び切りだ fact14: もしあるものが打ち易いとすればそれは植民地化する fact15: もしも何かは捨て難いとすると「ホワイトハウス入りする」ということは事実である ; $hypothesis$ = あの前頭前野は飛び切りでない ; $proof$ = 
fact3 & fact9 -> int1: あの前頭前野は捨て難い; fact15 -> int2: もしもあの前頭前野が捨て難いならばそれはホワイトハウス入りする; int1 & int2 -> int3: あの前頭前野はホワイトハウス入りする; fact13 -> int4: あの前頭前野がホワイトハウス入りするとするとそれは飛び切りだ; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの前頭前野は貧しい
事実2: 把握し辛いものは労働契約承継法だ
事実3: もし仮にあの前頭前野が反応し易いなら捨て難い
事実4: そのアモンティリアードが反応し易くてそれが捨て難いとするとあの前頭前野は飛び切りでない
事実5: 仮に何かは近侍するとすればそれは水死する
事実6: そのシャベルはホワイトハウス入りする
事実7: もし仮に何らかの物はホワイトハウス入りするとしたら「それは反応し易い」ということは本当である
事実8: もしもそのＳＣＭが飛び切りならそれは恋愛である
事実9: あの前頭前野は反応し易い
事実10: そのアモンティリアードはホワイトハウス入りしないしその上考え難くない
事実11: あの検証時は捨て難い
事実12: 飛び切りは反応し易い
事実13: もしあるものがホワイトハウス入りするとすると飛び切りだ
事実14: もしあるものが打ち易いとすればそれは植民地化する
事実15: もしも何かは捨て難いとすると「ホワイトハウス入りする」ということは事実である

仮説: あの前頭前野は飛び切りでない
1. 事実3と事実9から、推論1: "あの前頭前野は捨て難い"が導かれる
2. 事実15から、推論2: "もしもあの前頭前野が捨て難いならばそれはホワイトハウス入りする"が導かれる
3. 推論1と推論2から、推論3: "あの前頭前野はホワイトハウス入りする"が導かれる
4. 事実13から、推論4: "あの前頭前野がホワイトハウス入りするとするとそれは飛び切りだ"が導かれる
5. 推論3と推論4から、仮説が否定される

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