「この脱落者は愛好者である一方でそれは煙たくない」ということは偽である
fact1: もしそのエルゴパワーが与え易いということはないとしたらそれは指摘する fact2: もしもなんらかの物は受け入れられ易くないとしたら「神々しいが与え易くない」ということは成り立たない fact3: 仮にこの脱落者が埋め戻すとしたらこの題辞は神々しい fact4: もし仮にそのエルゴパワーが甲高いしおまけに指摘するとしたらこの脱落者は神々しかない fact5: もしもこの産業内は千九百八十二年刊であるならば「そのエルゴパワーは甲高い」ということは成り立つ fact6: もし仮になんらかの物が神々しかないとしたらそれは愛好者だ fact7: この脱落者は愛好者だ fact8: もし「そのエルゴパワーは受け入れられ易い一方で余所余所しかない」ということは誤りだとしたらこの産業内は受け入れられ易くない fact9: この題辞が前国王でないがそれが埋め戻すとすればこの産業内は千九百八十二年刊である fact10: この題辞は前国王でないけれどそれは埋め戻す fact11: 「この題辞は埋め戻す」ということは確かだ fact12: もしもこの題辞が甲高くない一方で千九百八十二年刊だとしたら「この脱落者は甲高くない」ということは成り立つ fact13: 神々しかないものは愛好者であるけれど煙たくない fact14: この題辞は畜舎である一方で液化しない fact15: 「この産業内は神々しいが与え易いということはない」ということは成り立たないならこの題辞は指摘しない fact16: もしもあるものは甲高くないとすると「愛好者だけど煙たくない」ということは成り立つということはない fact17: 仮にこの脱落者が神々しかないとするとそれは愛好者だ fact18: この脱落者は煩わしくてどでかい fact19: そのエルゴパワーは与え易くない
fact9 & fact10 -> int1: この産業内は千九百八十二年刊である; int1 & fact5 -> int2: そのエルゴパワーは甲高い; fact19 & fact1 -> int3: そのエルゴパワーは指摘する; int2 & int3 -> int4: そのエルゴパワーは甲高いしまた指摘する; int4 & fact4 -> int5: この脱落者は神々しいということはない; fact13 -> int6: この脱落者が神々しかないとすれば愛好者だしそれは煙たくない; int5 & int6 -> hypothesis;
「この脱落者は愛好者であるけれど煙たくない」ということは成り立たない
fact21 -> int7: もしもこの脱落者は甲高くないなら「愛好者であるし煙たくない」ということは正しくない; fact23 -> int8: もしこの産業内は受け入れられ易くないならば「それは神々しいが与え易くない」ということは成り立たない;
$facts$ = fact1: もしそのエルゴパワーが与え易いということはないとしたらそれは指摘する fact2: もしもなんらかの物は受け入れられ易くないとしたら「神々しいが与え易くない」ということは成り立たない fact3: 仮にこの脱落者が埋め戻すとしたらこの題辞は神々しい fact4: もし仮にそのエルゴパワーが甲高いしおまけに指摘するとしたらこの脱落者は神々しかない fact5: もしもこの産業内は千九百八十二年刊であるならば「そのエルゴパワーは甲高い」ということは成り立つ fact6: もし仮になんらかの物が神々しかないとしたらそれは愛好者だ fact7: この脱落者は愛好者だ fact8: もし「そのエルゴパワーは受け入れられ易い一方で余所余所しかない」ということは誤りだとしたらこの産業内は受け入れられ易くない fact9: この題辞が前国王でないがそれが埋め戻すとすればこの産業内は千九百八十二年刊である fact10: この題辞は前国王でないけれどそれは埋め戻す fact11: 「この題辞は埋め戻す」ということは確かだ fact12: もしもこの題辞が甲高くない一方で千九百八十二年刊だとしたら「この脱落者は甲高くない」ということは成り立つ fact13: 神々しかないものは愛好者であるけれど煙たくない fact14: この題辞は畜舎である一方で液化しない fact15: 「この産業内は神々しいが与え易いということはない」ということは成り立たないならこの題辞は指摘しない fact16: もしもあるものは甲高くないとすると「愛好者だけど煙たくない」ということは成り立つということはない fact17: 仮にこの脱落者が神々しかないとするとそれは愛好者だ fact18: この脱落者は煩わしくてどでかい fact19: そのエルゴパワーは与え易くない ; $hypothesis$ = 「この脱落者は愛好者である一方でそれは煙たくない」ということは偽である ; $proof$ = 
fact9 & fact10 -> int1: この産業内は千九百八十二年刊である; int1 & fact5 -> int2: そのエルゴパワーは甲高い; fact19 & fact1 -> int3: そのエルゴパワーは指摘する; int2 & int3 -> int4: そのエルゴパワーは甲高いしまた指摘する; int4 & fact4 -> int5: この脱落者は神々しいということはない; fact13 -> int6: この脱落者が神々しかないとすれば愛好者だしそれは煙たくない; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしそのエルゴパワーが与え易いということはないとしたらそれは指摘する
事実2: もしもなんらかの物は受け入れられ易くないとしたら「神々しいが与え易くない」ということは成り立たない
事実3: 仮にこの脱落者が埋め戻すとしたらこの題辞は神々しい
事実4: もし仮にそのエルゴパワーが甲高いしおまけに指摘するとしたらこの脱落者は神々しかない
事実5: もしもこの産業内は千九百八十二年刊であるならば「そのエルゴパワーは甲高い」ということは成り立つ
事実6: もし仮になんらかの物が神々しかないとしたらそれは愛好者だ
事実7: この脱落者は愛好者だ
事実8: もし「そのエルゴパワーは受け入れられ易い一方で余所余所しかない」ということは誤りだとしたらこの産業内は受け入れられ易くない
事実9: この題辞が前国王でないがそれが埋め戻すとすればこの産業内は千九百八十二年刊である
事実10: この題辞は前国王でないけれどそれは埋め戻す
事実11: 「この題辞は埋め戻す」ということは確かだ
事実12: もしもこの題辞が甲高くない一方で千九百八十二年刊だとしたら「この脱落者は甲高くない」ということは成り立つ
事実13: 神々しかないものは愛好者であるけれど煙たくない
事実14: この題辞は畜舎である一方で液化しない
事実15: 「この産業内は神々しいが与え易いということはない」ということは成り立たないならこの題辞は指摘しない
事実16: もしもあるものは甲高くないとすると「愛好者だけど煙たくない」ということは成り立つということはない
事実17: 仮にこの脱落者が神々しかないとするとそれは愛好者だ
事実18: この脱落者は煩わしくてどでかい
事実19: そのエルゴパワーは与え易くない

仮説: 「この脱落者は愛好者である一方でそれは煙たくない」ということは偽である
1. 事実9と事実10から、推論1: "この産業内は千九百八十二年刊である"が導かれる
2. 推論1と事実5から、推論2: "そのエルゴパワーは甲高い"が導かれる
3. 事実19と事実1から、推論3: "そのエルゴパワーは指摘する"が導かれる
4. 推論2と推論3から、推論4: "そのエルゴパワーは甲高いしまた指摘する"が導かれる
5. 推論4と事実4から、推論5: "この脱落者は神々しいということはない"が導かれる
6. 事実13から、推論6: "この脱落者が神々しかないとすれば愛好者だしそれは煙たくない"が導かれる
7. 推論5と推論6から、仮説が否定される

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