その散らし寿司は長ったらしい
fact1: 「あの設置インスタンスは本源的蓄積でないけれど空恐ろしい」ということは間違っている fact2: 「あの設置インスタンスは本源的蓄積でないけどそれは空恐ろしい」ということは正しくないならこの検見は滞り易くない fact3: もし仮にその散らし寿司が競り屋だが本源的蓄積でないならばそれはセーヌ河畔でない fact4: あの設置インスタンスは空恐ろしいけど滞り易くない fact5: 仮にその散らし寿司はセーヌ河畔だがしかし競り屋でないならば長ったらしくない fact6: その散らし寿司はセーヌ河畔だ fact7: もし仮にあの設置インスタンスが滞り易くないとするとその御職は空恐ろしいしそれは競り屋だ fact8: この検見が滞り易くないならその散らし寿司は競り屋でない fact9: その散らし寿司は井手平城でない fact10: あの軟骨欠損は長ったらしい
fact2 & fact1 -> int1: この検見は滞り易くない; int1 & fact8 -> int2: その散らし寿司は競り屋でない; int2 & fact6 -> int3: その散らし寿司はセーヌ河畔であるがしかし競り屋でない; int3 & fact5 -> hypothesis;
その御職は空恐ろしい
$facts$ = fact1: 「あの設置インスタンスは本源的蓄積でないけれど空恐ろしい」ということは間違っている fact2: 「あの設置インスタンスは本源的蓄積でないけどそれは空恐ろしい」ということは正しくないならこの検見は滞り易くない fact3: もし仮にその散らし寿司が競り屋だが本源的蓄積でないならばそれはセーヌ河畔でない fact4: あの設置インスタンスは空恐ろしいけど滞り易くない fact5: 仮にその散らし寿司はセーヌ河畔だがしかし競り屋でないならば長ったらしくない fact6: その散らし寿司はセーヌ河畔だ fact7: もし仮にあの設置インスタンスが滞り易くないとするとその御職は空恐ろしいしそれは競り屋だ fact8: この検見が滞り易くないならその散らし寿司は競り屋でない fact9: その散らし寿司は井手平城でない fact10: あの軟骨欠損は長ったらしい ; $hypothesis$ = その散らし寿司は長ったらしい ; $proof$ = 
fact2 & fact1 -> int1: この検見は滞り易くない; int1 & fact8 -> int2: その散らし寿司は競り屋でない; int2 & fact6 -> int3: その散らし寿司はセーヌ河畔であるがしかし競り屋でない; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: 「あの設置インスタンスは本源的蓄積でないけれど空恐ろしい」ということは間違っている
事実2: 「あの設置インスタンスは本源的蓄積でないけどそれは空恐ろしい」ということは正しくないならこの検見は滞り易くない
事実3: もし仮にその散らし寿司が競り屋だが本源的蓄積でないならばそれはセーヌ河畔でない
事実4: あの設置インスタンスは空恐ろしいけど滞り易くない
事実5: 仮にその散らし寿司はセーヌ河畔だがしかし競り屋でないならば長ったらしくない
事実6: その散らし寿司はセーヌ河畔だ
事実7: もし仮にあの設置インスタンスが滞り易くないとするとその御職は空恐ろしいしそれは競り屋だ
事実8: この検見が滞り易くないならその散らし寿司は競り屋でない
事実9: その散らし寿司は井手平城でない
事実10: あの軟骨欠損は長ったらしい

仮説: その散らし寿司は長ったらしい
1. 事実2と事実1から、推論1: "この検見は滞り易くない"が導かれる
2. 推論1と事実8から、推論2: "その散らし寿司は競り屋でない"が導かれる
3. 推論2と事実6から、推論3: "その散らし寿司はセーヌ河畔であるがしかし競り屋でない"が導かれる
4. 推論3と事実5から、仮説が否定される

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