この同一主題は発症し易い
fact1: もしもなにかは耐酸性だとすると「それは湿っぽくておまけにそれは瘴気でない」ということは偽だ fact2: あの致し方無しは頑是無くない一方で加盟する fact3: もし仮にあの致し方無しが頑是無いしさらに加盟するとするとこの同一主題は発症し易い fact4: 仮にこの同一主題が瘴気ならあの致し方無しは湿っぽくない fact5: もし仮に「何らかのものは湿っぽいがそれは瘴気でない」ということは間違いであるなら発症し易くない fact6: もし仮にあの致し方無しが加盟するということはないがしかしそれが発症し易いとしたらこの同一主題は頑是無い fact7: もしあの致し方無しが頑是無くないがそれが加盟するとするとこの同一主題は発症し易い fact8: 「湿っぽくないものは厚しないが加盟する」ということは真実だ
fact7 & fact2 -> hypothesis;
fact7 & fact2 -> hypothesis;
あのＰＭＳは厚しないが加盟する
fact10 -> int1: もしもあのＰＭＳが湿っぽくないならばそれは厚しないけれど加盟する;
$facts$ = fact1: もしもなにかは耐酸性だとすると「それは湿っぽくておまけにそれは瘴気でない」ということは偽だ fact2: あの致し方無しは頑是無くない一方で加盟する fact3: もし仮にあの致し方無しが頑是無いしさらに加盟するとするとこの同一主題は発症し易い fact4: 仮にこの同一主題が瘴気ならあの致し方無しは湿っぽくない fact5: もし仮に「何らかのものは湿っぽいがそれは瘴気でない」ということは間違いであるなら発症し易くない fact6: もし仮にあの致し方無しが加盟するということはないがしかしそれが発症し易いとしたらこの同一主題は頑是無い fact7: もしあの致し方無しが頑是無くないがそれが加盟するとするとこの同一主題は発症し易い fact8: 「湿っぽくないものは厚しないが加盟する」ということは真実だ ; $hypothesis$ = この同一主題は発症し易い ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: もしもなにかは耐酸性だとすると「それは湿っぽくておまけにそれは瘴気でない」ということは偽だ
事実2: あの致し方無しは頑是無くない一方で加盟する
事実3: もし仮にあの致し方無しが頑是無いしさらに加盟するとするとこの同一主題は発症し易い
事実4: 仮にこの同一主題が瘴気ならあの致し方無しは湿っぽくない
事実5: もし仮に「何らかのものは湿っぽいがそれは瘴気でない」ということは間違いであるなら発症し易くない
事実6: もし仮にあの致し方無しが加盟するということはないがしかしそれが発症し易いとしたらこの同一主題は頑是無い
事実7: もしあの致し方無しが頑是無くないがそれが加盟するとするとこの同一主題は発症し易い
事実8: 「湿っぽくないものは厚しないが加盟する」ということは真実だ

仮説: この同一主題は発症し易い
1. 事実7と事実2から、仮説が導かれる

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