この代議員構成分布は自然らしい
fact1: 「ある物は酸くないが自然らしい」ということは成り立たないとすれば自然らしくない fact2: この代議員構成分布は自然らしいしそれに骨っぽい fact3: もしこの代議員構成分布が顕在化するということはないとすればそれは骨っぽくてまた中域でない
fact2 -> hypothesis;
fact2 -> hypothesis;
この代議員構成分布は自然らしくない
fact4 -> int1: 仮に「この代議員構成分布は酸くない一方で自然らしい」ということは間違いならばそれは自然らしくない;
$facts$ = fact1: 「ある物は酸くないが自然らしい」ということは成り立たないとすれば自然らしくない fact2: この代議員構成分布は自然らしいしそれに骨っぽい fact3: もしこの代議員構成分布が顕在化するということはないとすればそれは骨っぽくてまた中域でない ; $hypothesis$ = この代議員構成分布は自然らしい ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「ある物は酸くないが自然らしい」ということは成り立たないとすれば自然らしくない
事実2: この代議員構成分布は自然らしいしそれに骨っぽい
事実3: もしこの代議員構成分布が顕在化するということはないとすればそれは骨っぽくてまた中域でない

仮説: この代議員構成分布は自然らしい
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。