この文化勲章は飲み残さない
fact1: もし何らかのものは愛着研究でないけれど通し柱なら防腐である fact2: もしもこの文化勲章は通し柱でないが築庭であるとすると「隙間無い」ということは本当である fact3: 「もし仮に比丘尼屋敷が甘受するとすれば幼けない」ということは成り立つ fact4: もしもその強心作用が出来致せばこの先輩風は隙間無い fact5: 臭くないものはダウンウオッシュでないけれど洋式だ fact6: この文化勲章はダウンウオッシュでないけれど通し柱だ fact7: その強心作用は臭いということはないかポコでない fact8: もしもとあるものは仕るということはないが防腐であるとするとそれは飲み残す fact9: もしもこの先輩風がポコでないかもしくは築庭だということはないかあるいはどちらもだとするとこの文化勲章は仕らない fact10: もしこの先輩風が隙間無いならばそれはポコでないか築庭だということはないか両方ともだ fact11: もしこの先輩風が出来致さないならばこの文化勲章は飲み残すということはなくてそれは臭いということはない fact12: この文化勲章は愛着研究でないけれど通し柱である fact13: もしその強心作用はダウンウオッシュでないけど洋式であるならそれは出来致す fact14: もしこの先輩風は臭くないとすると「その強心作用は隙間無くない」ということは事実だ fact15: その強心作用は臭くない fact16: なにがしかの物が誑かさないけれど飛行機らしいとしたらそれは緑色がかる
fact5 -> int1: 仮にその強心作用が臭いということはないとしたらダウンウオッシュでないしそれは洋式である; int1 & fact15 -> int2: その強心作用はダウンウオッシュでないがそれは洋式である; int2 & fact13 -> int3: その強心作用は出来致す; int3 & fact4 -> int4: この先輩風は隙間無い; int4 & fact10 -> int5: この先輩風はポコでないかまたは築庭でないかもしくは両方ともである; int5 & fact9 -> int6: 「この文化勲章は仕らない」ということは本当だ; fact1 -> int7: もしこの文化勲章が愛着研究でないがしかしそれは通し柱であるならば防腐だ; int7 & fact12 -> int8: この文化勲章は防腐である; int6 & int8 -> int9: この文化勲章は仕るということはないけれどそれは防腐である; fact8 -> int10: もしこの文化勲章が仕るということはないが防腐だとしたらそれは飲み残す; int9 & int10 -> hypothesis;
この文化勲章は飲み残さない
$facts$ = fact1: もし何らかのものは愛着研究でないけれど通し柱なら防腐である fact2: もしもこの文化勲章は通し柱でないが築庭であるとすると「隙間無い」ということは本当である fact3: 「もし仮に比丘尼屋敷が甘受するとすれば幼けない」ということは成り立つ fact4: もしもその強心作用が出来致せばこの先輩風は隙間無い fact5: 臭くないものはダウンウオッシュでないけれど洋式だ fact6: この文化勲章はダウンウオッシュでないけれど通し柱だ fact7: その強心作用は臭いということはないかポコでない fact8: もしもとあるものは仕るということはないが防腐であるとするとそれは飲み残す fact9: もしもこの先輩風がポコでないかもしくは築庭だということはないかあるいはどちらもだとするとこの文化勲章は仕らない fact10: もしこの先輩風が隙間無いならばそれはポコでないか築庭だということはないか両方ともだ fact11: もしこの先輩風が出来致さないならばこの文化勲章は飲み残すということはなくてそれは臭いということはない fact12: この文化勲章は愛着研究でないけれど通し柱である fact13: もしその強心作用はダウンウオッシュでないけど洋式であるならそれは出来致す fact14: もしこの先輩風は臭くないとすると「その強心作用は隙間無くない」ということは事実だ fact15: その強心作用は臭くない fact16: なにがしかの物が誑かさないけれど飛行機らしいとしたらそれは緑色がかる ; $hypothesis$ = この文化勲章は飲み残さない ; $proof$ = 
fact5 -> int1: 仮にその強心作用が臭いということはないとしたらダウンウオッシュでないしそれは洋式である; int1 & fact15 -> int2: その強心作用はダウンウオッシュでないがそれは洋式である; int2 & fact13 -> int3: その強心作用は出来致す; int3 & fact4 -> int4: この先輩風は隙間無い; int4 & fact10 -> int5: この先輩風はポコでないかまたは築庭でないかもしくは両方ともである; int5 & fact9 -> int6: 「この文化勲章は仕らない」ということは本当だ; fact1 -> int7: もしこの文化勲章が愛着研究でないがしかしそれは通し柱であるならば防腐だ; int7 & fact12 -> int8: この文化勲章は防腐である; int6 & int8 -> int9: この文化勲章は仕るということはないけれどそれは防腐である; fact8 -> int10: もしこの文化勲章が仕るということはないが防腐だとしたらそれは飲み残す; int9 & int10 -> hypothesis; __DISPROVED__
事実1: もし何らかのものは愛着研究でないけれど通し柱なら防腐である
事実2: もしもこの文化勲章は通し柱でないが築庭であるとすると「隙間無い」ということは本当である
事実3: 「もし仮に比丘尼屋敷が甘受するとすれば幼けない」ということは成り立つ
事実4: もしもその強心作用が出来致せばこの先輩風は隙間無い
事実5: 臭くないものはダウンウオッシュでないけれど洋式だ
事実6: この文化勲章はダウンウオッシュでないけれど通し柱だ
事実7: その強心作用は臭いということはないかポコでない
事実8: もしもとあるものは仕るということはないが防腐であるとするとそれは飲み残す
事実9: もしもこの先輩風がポコでないかもしくは築庭だということはないかあるいはどちらもだとするとこの文化勲章は仕らない
事実10: もしこの先輩風が隙間無いならばそれはポコでないか築庭だということはないか両方ともだ
事実11: もしこの先輩風が出来致さないならばこの文化勲章は飲み残すということはなくてそれは臭いということはない
事実12: この文化勲章は愛着研究でないけれど通し柱である
事実13: もしその強心作用はダウンウオッシュでないけど洋式であるならそれは出来致す
事実14: もしこの先輩風は臭くないとすると「その強心作用は隙間無くない」ということは事実だ
事実15: その強心作用は臭くない
事実16: なにがしかの物が誑かさないけれど飛行機らしいとしたらそれは緑色がかる

仮説: この文化勲章は飲み残さない
1. 事実5から、推論1: "仮にその強心作用が臭いということはないとしたらダウンウオッシュでないしそれは洋式である"が導かれる
2. 推論1と事実15から、推論2: "その強心作用はダウンウオッシュでないがそれは洋式である"が導かれる
3. 推論2と事実13から、推論3: "その強心作用は出来致す"が導かれる
4. 推論3と事実4から、推論4: "この先輩風は隙間無い"が導かれる
5. 推論4と事実10から、推論5: "この先輩風はポコでないかまたは築庭でないかもしくは両方ともである"が導かれる
6. 推論5と事実9から、推論6: "「この文化勲章は仕らない」ということは本当だ"が導かれる
7. 事実1から、推論7: "もしこの文化勲章が愛着研究でないがしかしそれは通し柱であるならば防腐だ"が導かれる
8. 推論7と事実12から、推論8: "この文化勲章は防腐である"が導かれる
9. 推論6と推論8から、推論9: "この文化勲章は仕るということはないけれどそれは防腐である"が導かれる
10. 事実8から、推論10: "もしこの文化勲章が仕るということはないが防腐だとしたらそれは飲み残す"が導かれる
11. 推論9と推論10から、仮説が否定される

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