このオプティミストは初期対応であるかあるいは御高いかまたは両方ともである
fact1: このオプティミストは親し fact2: もし仮にそのスニペットパネルは家畜化でないとしたら「その遺伝子データは打ち尽くす一方でそれは親しない」ということは事実だ fact3: もし仮に「親しない」物があるとすればあのスニペットパネルは初期対応でない fact4: 仮にその巻きは初期対応でないとしたら「このオプティミストは初期対応であるかまたはそれは御高い」ということは嘘である fact5: そのスニペットパネルは打ち尽くす fact6: 「もしも「初期対応でない」ものがあるとすればあのスニペットパネルは親しということはない」ということは事実である fact7: 「「伴奏しないしおまけに家畜化でない」ということは誤りな」物はある fact8: もし仮になにがしかの物は打ち尽くすがしかし親しないとすれば初期対応だということはない fact9: もしその巻きは初期対応でないとすれば「そのスニペットパネルは初期対応であるかあるいは親しかあるいは両方ともである」ということは偽である fact10: なにがしかのものは親しないか打ち尽くすかまたは両方であるとすると「その巻きは初期対応でない」ということは成り立つ fact11: 何らかの物が伴奏するということはないとしたらそれは御高いけれど家畜化であるということはない fact12: 仮に「打ち尽くさないか初期対応であるかもしくはどちらもな」物があるとするとこのオプティミストは御高くない
fact5 -> int1: そのスニペットパネルは親しないかまたは打ち尽くすかもしくはどちらもだ; int1 -> int2: とある物は親しないかまたは打ち尽くすかまたはどちらもだ; int2 & fact10 -> int3: その巻きは初期対応でない; int3 & fact4 -> hypothesis;
このオプティミストは初期対応であるかまたは御高いかまたは両方ともだ
$facts$ = fact1: このオプティミストは親し fact2: もし仮にそのスニペットパネルは家畜化でないとしたら「その遺伝子データは打ち尽くす一方でそれは親しない」ということは事実だ fact3: もし仮に「親しない」物があるとすればあのスニペットパネルは初期対応でない fact4: 仮にその巻きは初期対応でないとしたら「このオプティミストは初期対応であるかまたはそれは御高い」ということは嘘である fact5: そのスニペットパネルは打ち尽くす fact6: 「もしも「初期対応でない」ものがあるとすればあのスニペットパネルは親しということはない」ということは事実である fact7: 「「伴奏しないしおまけに家畜化でない」ということは誤りな」物はある fact8: もし仮になにがしかの物は打ち尽くすがしかし親しないとすれば初期対応だということはない fact9: もしその巻きは初期対応でないとすれば「そのスニペットパネルは初期対応であるかあるいは親しかあるいは両方ともである」ということは偽である fact10: なにがしかのものは親しないか打ち尽くすかまたは両方であるとすると「その巻きは初期対応でない」ということは成り立つ fact11: 何らかの物が伴奏するということはないとしたらそれは御高いけれど家畜化であるということはない fact12: 仮に「打ち尽くさないか初期対応であるかもしくはどちらもな」物があるとするとこのオプティミストは御高くない ; $hypothesis$ = このオプティミストは初期対応であるかあるいは御高いかまたは両方ともである ; $proof$ = 
fact5 -> int1: そのスニペットパネルは親しないかまたは打ち尽くすかもしくはどちらもだ; int1 -> int2: とある物は親しないかまたは打ち尽くすかまたはどちらもだ; int2 & fact10 -> int3: その巻きは初期対応でない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: このオプティミストは親し
事実2: もし仮にそのスニペットパネルは家畜化でないとしたら「その遺伝子データは打ち尽くす一方でそれは親しない」ということは事実だ
事実3: もし仮に「親しない」物があるとすればあのスニペットパネルは初期対応でない
事実4: 仮にその巻きは初期対応でないとしたら「このオプティミストは初期対応であるかまたはそれは御高い」ということは嘘である
事実5: そのスニペットパネルは打ち尽くす
事実6: 「もしも「初期対応でない」ものがあるとすればあのスニペットパネルは親しということはない」ということは事実である
事実7: 「「伴奏しないしおまけに家畜化でない」ということは誤りな」物はある
事実8: もし仮になにがしかの物は打ち尽くすがしかし親しないとすれば初期対応だということはない
事実9: もしその巻きは初期対応でないとすれば「そのスニペットパネルは初期対応であるかあるいは親しかあるいは両方ともである」ということは偽である
事実10: なにがしかのものは親しないか打ち尽くすかまたは両方であるとすると「その巻きは初期対応でない」ということは成り立つ
事実11: 何らかの物が伴奏するということはないとしたらそれは御高いけれど家畜化であるということはない
事実12: 仮に「打ち尽くさないか初期対応であるかもしくはどちらもな」物があるとするとこのオプティミストは御高くない

仮説: このオプティミストは初期対応であるかあるいは御高いかまたは両方ともである
1. 事実5から、推論1: "そのスニペットパネルは親しないかまたは打ち尽くすかもしくはどちらもだ"が導かれる
2. 推論1から、推論2: "とある物は親しないかまたは打ち尽くすかまたはどちらもだ"が導かれる
3. 推論2と事実10から、推論3: "その巻きは初期対応でない"が導かれる
4. 推論3と事実4から、仮説が否定される

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