このガムはいがらっぽい
fact1: 「もしもこのガムが進め易い一方でそれが一件落着しないとしたらこのガムはいがらっぽい」ということは事実である fact2: もし仮に何かは金融理論でないなら「分厚くなくてそれに進め易くない」ということは嘘である fact3: もしもその東西対称位置は金融理論だとすると「それは全方位でないし海中展望台でない」ということは成り立たない fact4: もしもあのレムス父上は平ったいなら「一件落着しないか谷であるかあるいは両方ともである」ということは嘘だ fact5: その東西対称位置は進め易くておまけに一件落着する fact6: 「「あのレムス父上は一件落着しないかまたは谷であるかまたはどちらもである」ということは間違いであるならあのレムス父上は金融理論でない」ということは成り立つ fact7: 何らかの物は首尾良いとしたら「それは起床時間でないし分厚くない」ということは間違っている fact8: もしもあのレムス父上が浪費しなくて金融理論でないならこのガムは浪費する fact9: 仮に何かはいがらっぽいならば首尾良い fact10: 首尾良い物はいがらっぽい fact11: もしとあるものは分厚いなら「このガムは首尾良いかあるいは分厚いか両方である」ということは本当である fact12: もし仮に「何かは起床時間でないしさらに分厚くない」ということは事実と異なるならそれは起床時間だ fact13: あのレムス父上は平ったい fact14: その東西対称位置は金融理論だ fact15: なにかは進め易いとするとそれは首尾良い fact16: 「なにがしかの物は全方位でなくてしかも海中展望台でない」ということは誤りならば分厚い fact17: 分厚い物が首尾良いとするとこのガムはいがらっぽくない
fact16 -> int1: 仮に「その東西対称位置は全方位でないしさらに海中展望台でない」ということは偽であるとしたら分厚い; fact3 & fact14 -> int2: 「その東西対称位置は全方位でなくてその上海中展望台でない」ということは偽だ; int1 & int2 -> int3: その東西対称位置は分厚い; fact15 -> int4: もしその東西対称位置が進め易いとすると首尾良い; fact5 -> int5: 「その東西対称位置は進め易い」ということは成り立つ; int4 & int5 -> int6: その東西対称位置は首尾良い; int3 & int6 -> int7: その東西対称位置は分厚いし加えて首尾良い; int7 -> int8: とある物は分厚いし首尾良い; int8 & fact17 -> hypothesis;
「何らかの物は起床時間であってかつ浪費する」ということは正しい
fact18 -> int9: もし「「このガムは起床時間でないしそれに分厚くない」ということは事実である」ということは嘘なら起床時間だ; fact21 -> int10: もし仮にこのガムは首尾良いとすれば「起床時間でないし加えて分厚いということはない」ということは成り立たない; fact19 -> int11: もし仮に「このガムはいがらっぽい」ということは真実だとすればそれは首尾良い;
$facts$ = fact1: 「もしもこのガムが進め易い一方でそれが一件落着しないとしたらこのガムはいがらっぽい」ということは事実である fact2: もし仮に何かは金融理論でないなら「分厚くなくてそれに進め易くない」ということは嘘である fact3: もしもその東西対称位置は金融理論だとすると「それは全方位でないし海中展望台でない」ということは成り立たない fact4: もしもあのレムス父上は平ったいなら「一件落着しないか谷であるかあるいは両方ともである」ということは嘘だ fact5: その東西対称位置は進め易くておまけに一件落着する fact6: 「「あのレムス父上は一件落着しないかまたは谷であるかまたはどちらもである」ということは間違いであるならあのレムス父上は金融理論でない」ということは成り立つ fact7: 何らかの物は首尾良いとしたら「それは起床時間でないし分厚くない」ということは間違っている fact8: もしもあのレムス父上が浪費しなくて金融理論でないならこのガムは浪費する fact9: 仮に何かはいがらっぽいならば首尾良い fact10: 首尾良い物はいがらっぽい fact11: もしとあるものは分厚いなら「このガムは首尾良いかあるいは分厚いか両方である」ということは本当である fact12: もし仮に「何かは起床時間でないしさらに分厚くない」ということは事実と異なるならそれは起床時間だ fact13: あのレムス父上は平ったい fact14: その東西対称位置は金融理論だ fact15: なにかは進め易いとするとそれは首尾良い fact16: 「なにがしかの物は全方位でなくてしかも海中展望台でない」ということは誤りならば分厚い fact17: 分厚い物が首尾良いとするとこのガムはいがらっぽくない ; $hypothesis$ = このガムはいがらっぽい ; $proof$ = 
fact16 -> int1: 仮に「その東西対称位置は全方位でないしさらに海中展望台でない」ということは偽であるとしたら分厚い; fact3 & fact14 -> int2: 「その東西対称位置は全方位でなくてその上海中展望台でない」ということは偽だ; int1 & int2 -> int3: その東西対称位置は分厚い; fact15 -> int4: もしその東西対称位置が進め易いとすると首尾良い; fact5 -> int5: 「その東西対称位置は進め易い」ということは成り立つ; int4 & int5 -> int6: その東西対称位置は首尾良い; int3 & int6 -> int7: その東西対称位置は分厚いし加えて首尾良い; int7 -> int8: とある物は分厚いし首尾良い; int8 & fact17 -> hypothesis; __DISPROVED__
事実1: 「もしもこのガムが進め易い一方でそれが一件落着しないとしたらこのガムはいがらっぽい」ということは事実である
事実2: もし仮に何かは金融理論でないなら「分厚くなくてそれに進め易くない」ということは嘘である
事実3: もしもその東西対称位置は金融理論だとすると「それは全方位でないし海中展望台でない」ということは成り立たない
事実4: もしもあのレムス父上は平ったいなら「一件落着しないか谷であるかあるいは両方ともである」ということは嘘だ
事実5: その東西対称位置は進め易くておまけに一件落着する
事実6: 「「あのレムス父上は一件落着しないかまたは谷であるかまたはどちらもである」ということは間違いであるならあのレムス父上は金融理論でない」ということは成り立つ
事実7: 何らかの物は首尾良いとしたら「それは起床時間でないし分厚くない」ということは間違っている
事実8: もしもあのレムス父上が浪費しなくて金融理論でないならこのガムは浪費する
事実9: 仮に何かはいがらっぽいならば首尾良い
事実10: 首尾良い物はいがらっぽい
事実11: もしとあるものは分厚いなら「このガムは首尾良いかあるいは分厚いか両方である」ということは本当である
事実12: もし仮に「何かは起床時間でないしさらに分厚くない」ということは事実と異なるならそれは起床時間だ
事実13: あのレムス父上は平ったい
事実14: その東西対称位置は金融理論だ
事実15: なにかは進め易いとするとそれは首尾良い
事実16: 「なにがしかの物は全方位でなくてしかも海中展望台でない」ということは誤りならば分厚い
事実17: 分厚い物が首尾良いとするとこのガムはいがらっぽくない

仮説: このガムはいがらっぽい
1. 事実16から、推論1: "仮に「その東西対称位置は全方位でないしさらに海中展望台でない」ということは偽であるとしたら分厚い"が導かれる
2. 事実3と事実14から、推論2: "「その東西対称位置は全方位でなくてその上海中展望台でない」ということは偽だ"が導かれる
3. 推論1と推論2から、推論3: "その東西対称位置は分厚い"が導かれる
4. 事実15から、推論4: "もしその東西対称位置が進め易いとすると首尾良い"が導かれる
5. 事実5から、推論5: "「その東西対称位置は進め易い」ということは成り立つ"が導かれる
6. 推論4と推論5から、推論6: "その東西対称位置は首尾良い"が導かれる
7. 推論3と推論6から、推論7: "その東西対称位置は分厚いし加えて首尾良い"が導かれる
8. 推論7から、推論8: "とある物は分厚いし首尾良い"が導かれる
9. 推論8と事実17から、仮説が否定される

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