このカラムクロマトグラフィーは堅苦しくない
fact1: その終章はおもろくないがしかし迎え打つ fact2: 「「親近するが堅苦しくない」ということは誤りな」物があるとするとその匪団は堅苦しい fact3: もしおもろい物があるとしたらこの一作目は迎え打たない fact4: 手酷くないものは進入灯台だしおまけに受け入れられ易い fact5: このカラムクロマトグラフィーは進入灯台である fact6: 「なにかは手酷くないかもしくはそれは進入灯台であるかあるいは両方だ」ということは誤っていれば消化吸収され易い fact7: おもろいものはある fact8: あのクイック起動バーは進入灯台である fact9: 何らかの物が迎え打たないとしたら消化吸収され易くないし手酷くない fact10: もしあのクイック起動バーはおもろいとすれば「それは迎え打たなくてしかもそれは消化吸収され易くない」ということは誤りだ fact11: もしも「その終章は乏しくないかもしくはおもろいということはないかあるいは両方だ」ということは誤っていればそれは手酷い fact12: もしなにかは親近しないならば乏しくない fact13: あのクイック起動バーは密売でないけど美男俳優である fact14: もし仮に「その終章は親近しない」ということは確かなら乏しくない fact15: 仮にとある物は密売でないけど美男俳優だとすれば「おもろい」ということは成り立つ fact16: もし「「このＮＡＮＤ回路は受け入れられ易くないし加えて堅苦しくない」ということは成り立つ」ということは誤っているとするとこのカラムクロマトグラフィーは堅苦しくない fact17: もし仮にあのクイック起動バーが消化吸収され易いとしたらこのカラムクロマトグラフィーは堅苦しい fact18: とある物が親近するということはないとしたらそれは乏しくないしそれは無断侵入するということはない fact19: もしもなんらかのものが無断侵入しないならこのＮＡＮＤ回路は受け入れられ易いということはない fact20: もしもその終章がおもろくないがそれが迎え打てば親近しない fact21: もしも「「何かは手酷くないかあるいは進入灯台であるということはないかあるいは両方である」ということは真実である」ということは間違いだとすれば「それは消化吸収され易い」ということは確かだ fact22: もしもなにかは親近しないなら「受け入れられ易くないしかつそれは堅苦しくない」ということは偽である fact23: このＮＡＮＤ回路は受け入れられ易くないなら「あのクイック起動バーは手酷くないかまたは進入灯台でないかまたは両方ともだ」ということは偽だ fact24: もしもあのクイック起動バーは受け入れられ易いとしたら「このＮＡＮＤ回路は親近するが堅苦しくない」ということは成り立たない fact25: 仮に「あのクイック起動バーは進入灯台であるししかも親近する」ということは嘘だとするとこのＮＡＮＤ回路は親近するということはない
fact18 -> int1: もしその終章が親近しないならば乏しくないしかつ無断侵入しない; fact1 & fact20 -> int2: その終章は親近しない; int1 & int2 -> int3: 「その終章は乏しくなくて無断侵入するということはない」ということは正しい; int3 -> int4: その終章は無断侵入しない; int4 -> int5: なにかは無断侵入しない; int5 & fact19 -> int6: 「このＮＡＮＤ回路は受け入れられ易くない」ということは真実だ; int6 & fact23 -> int7: 「あのクイック起動バーは手酷くないか進入灯台でないかどちらもだ」ということは成り立たない; fact21 -> int8: もし仮に「あのクイック起動バーは手酷いということはないかもしくはそれは進入灯台でないかまたは両方である」ということは嘘ならば「消化吸収され易い」ということは真実である; int7 & int8 -> int9: あのクイック起動バーは消化吸収され易い; int9 & fact17 -> hypothesis;
このカラムクロマトグラフィーは堅苦しいということはない
fact28 -> int10: もし仮にこのＮＡＮＤ回路は親近しないなら「受け入れられ易くないし更に堅苦しくない」ということは成り立たない; fact26 -> int11: もしもこの一作目が迎え打たないとすればそれは消化吸収され易くないしさらに手酷くない; fact30 & fact29 -> int12: この一作目は迎え打たない; int11 & int12 -> int13: この一作目は消化吸収され易くないしそれは手酷くない;
$facts$ = fact1: その終章はおもろくないがしかし迎え打つ fact2: 「「親近するが堅苦しくない」ということは誤りな」物があるとするとその匪団は堅苦しい fact3: もしおもろい物があるとしたらこの一作目は迎え打たない fact4: 手酷くないものは進入灯台だしおまけに受け入れられ易い fact5: このカラムクロマトグラフィーは進入灯台である fact6: 「なにかは手酷くないかもしくはそれは進入灯台であるかあるいは両方だ」ということは誤っていれば消化吸収され易い fact7: おもろいものはある fact8: あのクイック起動バーは進入灯台である fact9: 何らかの物が迎え打たないとしたら消化吸収され易くないし手酷くない fact10: もしあのクイック起動バーはおもろいとすれば「それは迎え打たなくてしかもそれは消化吸収され易くない」ということは誤りだ fact11: もしも「その終章は乏しくないかもしくはおもろいということはないかあるいは両方だ」ということは誤っていればそれは手酷い fact12: もしなにかは親近しないならば乏しくない fact13: あのクイック起動バーは密売でないけど美男俳優である fact14: もし仮に「その終章は親近しない」ということは確かなら乏しくない fact15: 仮にとある物は密売でないけど美男俳優だとすれば「おもろい」ということは成り立つ fact16: もし「「このＮＡＮＤ回路は受け入れられ易くないし加えて堅苦しくない」ということは成り立つ」ということは誤っているとするとこのカラムクロマトグラフィーは堅苦しくない fact17: もし仮にあのクイック起動バーが消化吸収され易いとしたらこのカラムクロマトグラフィーは堅苦しい fact18: とある物が親近するということはないとしたらそれは乏しくないしそれは無断侵入するということはない fact19: もしもなんらかのものが無断侵入しないならこのＮＡＮＤ回路は受け入れられ易いということはない fact20: もしもその終章がおもろくないがそれが迎え打てば親近しない fact21: もしも「「何かは手酷くないかあるいは進入灯台であるということはないかあるいは両方である」ということは真実である」ということは間違いだとすれば「それは消化吸収され易い」ということは確かだ fact22: もしもなにかは親近しないなら「受け入れられ易くないしかつそれは堅苦しくない」ということは偽である fact23: このＮＡＮＤ回路は受け入れられ易くないなら「あのクイック起動バーは手酷くないかまたは進入灯台でないかまたは両方ともだ」ということは偽だ fact24: もしもあのクイック起動バーは受け入れられ易いとしたら「このＮＡＮＤ回路は親近するが堅苦しくない」ということは成り立たない fact25: 仮に「あのクイック起動バーは進入灯台であるししかも親近する」ということは嘘だとするとこのＮＡＮＤ回路は親近するということはない ; $hypothesis$ = このカラムクロマトグラフィーは堅苦しくない ; $proof$ = 
fact18 -> int1: もしその終章が親近しないならば乏しくないしかつ無断侵入しない; fact1 & fact20 -> int2: その終章は親近しない; int1 & int2 -> int3: 「その終章は乏しくなくて無断侵入するということはない」ということは正しい; int3 -> int4: その終章は無断侵入しない; int4 -> int5: なにかは無断侵入しない; int5 & fact19 -> int6: 「このＮＡＮＤ回路は受け入れられ易くない」ということは真実だ; int6 & fact23 -> int7: 「あのクイック起動バーは手酷くないか進入灯台でないかどちらもだ」ということは成り立たない; fact21 -> int8: もし仮に「あのクイック起動バーは手酷いということはないかもしくはそれは進入灯台でないかまたは両方である」ということは嘘ならば「消化吸収され易い」ということは真実である; int7 & int8 -> int9: あのクイック起動バーは消化吸収され易い; int9 & fact17 -> hypothesis; __DISPROVED__
事実1: その終章はおもろくないがしかし迎え打つ
事実2: 「「親近するが堅苦しくない」ということは誤りな」物があるとするとその匪団は堅苦しい
事実3: もしおもろい物があるとしたらこの一作目は迎え打たない
事実4: 手酷くないものは進入灯台だしおまけに受け入れられ易い
事実5: このカラムクロマトグラフィーは進入灯台である
事実6: 「なにかは手酷くないかもしくはそれは進入灯台であるかあるいは両方だ」ということは誤っていれば消化吸収され易い
事実7: おもろいものはある
事実8: あのクイック起動バーは進入灯台である
事実9: 何らかの物が迎え打たないとしたら消化吸収され易くないし手酷くない
事実10: もしあのクイック起動バーはおもろいとすれば「それは迎え打たなくてしかもそれは消化吸収され易くない」ということは誤りだ
事実11: もしも「その終章は乏しくないかもしくはおもろいということはないかあるいは両方だ」ということは誤っていればそれは手酷い
事実12: もしなにかは親近しないならば乏しくない
事実13: あのクイック起動バーは密売でないけど美男俳優である
事実14: もし仮に「その終章は親近しない」ということは確かなら乏しくない
事実15: 仮にとある物は密売でないけど美男俳優だとすれば「おもろい」ということは成り立つ
事実16: もし「「このＮＡＮＤ回路は受け入れられ易くないし加えて堅苦しくない」ということは成り立つ」ということは誤っているとするとこのカラムクロマトグラフィーは堅苦しくない
事実17: もし仮にあのクイック起動バーが消化吸収され易いとしたらこのカラムクロマトグラフィーは堅苦しい
事実18: とある物が親近するということはないとしたらそれは乏しくないしそれは無断侵入するということはない
事実19: もしもなんらかのものが無断侵入しないならこのＮＡＮＤ回路は受け入れられ易いということはない
事実20: もしもその終章がおもろくないがそれが迎え打てば親近しない
事実21: もしも「「何かは手酷くないかあるいは進入灯台であるということはないかあるいは両方である」ということは真実である」ということは間違いだとすれば「それは消化吸収され易い」ということは確かだ
事実22: もしもなにかは親近しないなら「受け入れられ易くないしかつそれは堅苦しくない」ということは偽である
事実23: このＮＡＮＤ回路は受け入れられ易くないなら「あのクイック起動バーは手酷くないかまたは進入灯台でないかまたは両方ともだ」ということは偽だ
事実24: もしもあのクイック起動バーは受け入れられ易いとしたら「このＮＡＮＤ回路は親近するが堅苦しくない」ということは成り立たない
事実25: 仮に「あのクイック起動バーは進入灯台であるししかも親近する」ということは嘘だとするとこのＮＡＮＤ回路は親近するということはない

仮説: このカラムクロマトグラフィーは堅苦しくない
1. 事実18から、推論1: "もしその終章が親近しないならば乏しくないしかつ無断侵入しない"が導かれる
2. 事実1と事実20から、推論2: "その終章は親近しない"が導かれる
3. 推論1と推論2から、推論3: "「その終章は乏しくなくて無断侵入するということはない」ということは正しい"が導かれる
4. 推論3から、推論4: "その終章は無断侵入しない"が導かれる
5. 推論4から、推論5: "なにかは無断侵入しない"が導かれる
6. 推論5と事実19から、推論6: "「このＮＡＮＤ回路は受け入れられ易くない」ということは真実だ"が導かれる
7. 推論6と事実23から、推論7: "「あのクイック起動バーは手酷くないか進入灯台でないかどちらもだ」ということは成り立たない"が導かれる
8. 事実21から、推論8: "もし仮に「あのクイック起動バーは手酷いということはないかもしくはそれは進入灯台でないかまたは両方である」ということは嘘ならば「消化吸収され易い」ということは真実である"が導かれる
9. 推論7と推論8から、推論9: "あのクイック起動バーは消化吸収され易い"が導かれる
10. 推論9と事実17から、仮説が否定される

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