あの整髪料は一級でない
fact1: もし仮に「その控訴審は攻撃すがしかし小汚いということはない」ということは成り立たないとするとこのプリンタデーモンは近付き難くない fact2: もし仮にあの興津家がコミュニケーション・システムだということはないとしたらこのプリンタデーモンは反応しないけどコミュニケーション・システムである fact3: もしあの興津家が反応しないけど仁王立ちするとしたらあの整髪料は一級だ fact4: あの興津家は低しないとすれば「その控訴審は攻撃す一方でそれは小汚くない」ということは成り立たない fact5: 仮にその控訴審が仁王立ちしないとするとこのプリンタデーモンは仁王立ちする fact6: もし「あの整髪料はコミュニケーション・システムだ」ということは間違いでないとするとこのプリンタデーモンは一級でない fact7: 仮にその控訴審が一級であるということはないとしたらあの整髪料は仁王立ちしないがしかしそれは一級である fact8: もしその控訴審が仁王立ちしないならあの興津家は反応しない fact9: あの興津家は反応しない一方で一級である fact10: あの整髪料は仁王立ちする fact11: 「あの興津家は低しない」ということは本当だ fact12: このプリンタデーモンは宿泊地であるかコミュニケーション・システムであるかまたは両方だ fact13: あの興津家は反応しない fact14: あのエリート達は宿泊地である fact15: 仮にあの興津家が反応するしおまけにそれが仁王立ちするとするとあの整髪料は一級である fact16: このプリンタデーモンが宿泊地であるかコミュニケーション・システムであるとしたら「その控訴審は仁王立ちしない」ということは本当である fact17: もし仮にこのプリンタデーモンが反応しないけれど一級だとしたらあの整髪料は一級でない fact18: その控訴審はコミュニケーション・システムだ fact19: 仮にその控訴審は仁王立ちしないとすると「あの興津家は反応するということはないけど仁王立ちする」ということは成り立つ fact20: もしこのプリンタデーモンが宿泊地であるとするとその控訴審は仁王立ちしない fact21: 仮になにがしかの物は近付き難くないなら「それは勿体無くない一方で反応する」ということは誤りである
fact16 & fact12 -> int1: 「その控訴審は仁王立ちしない」ということは真実である; int1 & fact19 -> int2: あの興津家は反応しない一方で仁王立ちする; int2 & fact3 -> hypothesis;
「あの整髪料は一級でない」ということは本当である
$facts$ = fact1: もし仮に「その控訴審は攻撃すがしかし小汚いということはない」ということは成り立たないとするとこのプリンタデーモンは近付き難くない fact2: もし仮にあの興津家がコミュニケーション・システムだということはないとしたらこのプリンタデーモンは反応しないけどコミュニケーション・システムである fact3: もしあの興津家が反応しないけど仁王立ちするとしたらあの整髪料は一級だ fact4: あの興津家は低しないとすれば「その控訴審は攻撃す一方でそれは小汚くない」ということは成り立たない fact5: 仮にその控訴審が仁王立ちしないとするとこのプリンタデーモンは仁王立ちする fact6: もし「あの整髪料はコミュニケーション・システムだ」ということは間違いでないとするとこのプリンタデーモンは一級でない fact7: 仮にその控訴審が一級であるということはないとしたらあの整髪料は仁王立ちしないがしかしそれは一級である fact8: もしその控訴審が仁王立ちしないならあの興津家は反応しない fact9: あの興津家は反応しない一方で一級である fact10: あの整髪料は仁王立ちする fact11: 「あの興津家は低しない」ということは本当だ fact12: このプリンタデーモンは宿泊地であるかコミュニケーション・システムであるかまたは両方だ fact13: あの興津家は反応しない fact14: あのエリート達は宿泊地である fact15: 仮にあの興津家が反応するしおまけにそれが仁王立ちするとするとあの整髪料は一級である fact16: このプリンタデーモンが宿泊地であるかコミュニケーション・システムであるとしたら「その控訴審は仁王立ちしない」ということは本当である fact17: もし仮にこのプリンタデーモンが反応しないけれど一級だとしたらあの整髪料は一級でない fact18: その控訴審はコミュニケーション・システムだ fact19: 仮にその控訴審は仁王立ちしないとすると「あの興津家は反応するということはないけど仁王立ちする」ということは成り立つ fact20: もしこのプリンタデーモンが宿泊地であるとするとその控訴審は仁王立ちしない fact21: 仮になにがしかの物は近付き難くないなら「それは勿体無くない一方で反応する」ということは誤りである ; $hypothesis$ = あの整髪料は一級でない ; $proof$ = 
fact16 & fact12 -> int1: 「その控訴審は仁王立ちしない」ということは真実である; int1 & fact19 -> int2: あの興津家は反応しない一方で仁王立ちする; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「その控訴審は攻撃すがしかし小汚いということはない」ということは成り立たないとするとこのプリンタデーモンは近付き難くない
事実2: もし仮にあの興津家がコミュニケーション・システムだということはないとしたらこのプリンタデーモンは反応しないけどコミュニケーション・システムである
事実3: もしあの興津家が反応しないけど仁王立ちするとしたらあの整髪料は一級だ
事実4: あの興津家は低しないとすれば「その控訴審は攻撃す一方でそれは小汚くない」ということは成り立たない
事実5: 仮にその控訴審が仁王立ちしないとするとこのプリンタデーモンは仁王立ちする
事実6: もし「あの整髪料はコミュニケーション・システムだ」ということは間違いでないとするとこのプリンタデーモンは一級でない
事実7: 仮にその控訴審が一級であるということはないとしたらあの整髪料は仁王立ちしないがしかしそれは一級である
事実8: もしその控訴審が仁王立ちしないならあの興津家は反応しない
事実9: あの興津家は反応しない一方で一級である
事実10: あの整髪料は仁王立ちする
事実11: 「あの興津家は低しない」ということは本当だ
事実12: このプリンタデーモンは宿泊地であるかコミュニケーション・システムであるかまたは両方だ
事実13: あの興津家は反応しない
事実14: あのエリート達は宿泊地である
事実15: 仮にあの興津家が反応するしおまけにそれが仁王立ちするとするとあの整髪料は一級である
事実16: このプリンタデーモンが宿泊地であるかコミュニケーション・システムであるとしたら「その控訴審は仁王立ちしない」ということは本当である
事実17: もし仮にこのプリンタデーモンが反応しないけれど一級だとしたらあの整髪料は一級でない
事実18: その控訴審はコミュニケーション・システムだ
事実19: 仮にその控訴審は仁王立ちしないとすると「あの興津家は反応するということはないけど仁王立ちする」ということは成り立つ
事実20: もしこのプリンタデーモンが宿泊地であるとするとその控訴審は仁王立ちしない
事実21: 仮になにがしかの物は近付き難くないなら「それは勿体無くない一方で反応する」ということは誤りである

仮説: あの整髪料は一級でない
1. 事実16と事実12から、推論1: "「その控訴審は仁王立ちしない」ということは真実である"が導かれる
2. 推論1と事実19から、推論2: "あの興津家は反応しない一方で仁王立ちする"が導かれる
3. 推論2と事実3から、仮説が否定される

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