あの地域特性は代謝物である
fact1: Ｐイングはある fact2: 型構造は代謝物でないかまたは組み付かないかもしくは両方である fact3: なにがしかの物はＰイングだ一方で左列であるということはない fact4: 「Ｐイングであるしおまけに左列である」物はある fact5: もし「Ｐイングだが左列でない」ものがあるならばあの地域特性は代謝物であるということはない fact6: もし仮に「なにがしかのものは左列でないしその上代謝物でない」ということは事実と異なれば「それは代謝物である」ということは事実と異ならない fact7: 仮にその鍼灸大成は代謝物でないとすれば「あの地域特性は左列であるかあるいはＰイングであるかもしくは両方である」ということは成り立たない fact8: あの地域特性はＰイングでない fact9: 何らかのものは左列でない fact10: あの地域特性は左列だということはない fact11: もし「あの地域特性は左列であるかもしくはそれはＰイングであるかまたは両方ともである」ということは成り立たないとしたらあの人気度はＰイングだということはない
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
あの地域特性は代謝物だ
fact12 -> int1: もし仮に「「あの地域特性は左列でないしそれに代謝物でない」ということは成り立たない」ということは成り立つなら代謝物である;
$facts$ = fact1: Ｐイングはある fact2: 型構造は代謝物でないかまたは組み付かないかもしくは両方である fact3: なにがしかの物はＰイングだ一方で左列であるということはない fact4: 「Ｐイングであるしおまけに左列である」物はある fact5: もし「Ｐイングだが左列でない」ものがあるならばあの地域特性は代謝物であるということはない fact6: もし仮に「なにがしかのものは左列でないしその上代謝物でない」ということは事実と異なれば「それは代謝物である」ということは事実と異ならない fact7: 仮にその鍼灸大成は代謝物でないとすれば「あの地域特性は左列であるかあるいはＰイングであるかもしくは両方である」ということは成り立たない fact8: あの地域特性はＰイングでない fact9: 何らかのものは左列でない fact10: あの地域特性は左列だということはない fact11: もし「あの地域特性は左列であるかもしくはそれはＰイングであるかまたは両方ともである」ということは成り立たないとしたらあの人気度はＰイングだということはない ; $hypothesis$ = あの地域特性は代謝物である ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: Ｐイングはある
事実2: 型構造は代謝物でないかまたは組み付かないかもしくは両方である
事実3: なにがしかの物はＰイングだ一方で左列であるということはない
事実4: 「Ｐイングであるしおまけに左列である」物はある
事実5: もし「Ｐイングだが左列でない」ものがあるならばあの地域特性は代謝物であるということはない
事実6: もし仮に「なにがしかのものは左列でないしその上代謝物でない」ということは事実と異なれば「それは代謝物である」ということは事実と異ならない
事実7: 仮にその鍼灸大成は代謝物でないとすれば「あの地域特性は左列であるかあるいはＰイングであるかもしくは両方である」ということは成り立たない
事実8: あの地域特性はＰイングでない
事実9: 何らかのものは左列でない
事実10: あの地域特性は左列だということはない
事実11: もし「あの地域特性は左列であるかもしくはそれはＰイングであるかまたは両方ともである」ということは成り立たないとしたらあの人気度はＰイングだということはない

仮説: あの地域特性は代謝物である
1. 事実3と事実5から、仮説が否定される

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