そのインスタント写真は深しない
fact1: この肝臓中は水質汚濁であるしその上早鐘だ fact2: この肝臓中は御成る fact3: 働き易くない物は深しない fact4: 仮にこの肝臓中が深しとするとそのインスタント写真は早鐘でない fact5: この肝臓中が早鐘だとすればそのインスタント写真は働き易くない fact6: この肝臓中は働き易いということはない fact7: なにかは水質汚濁でないとすれば深しない
fact1 -> int1: 「この肝臓中は早鐘である」ということは成り立つ; int1 & fact5 -> int2: そのインスタント写真は働き易くない; fact3 -> int3: もしそのインスタント写真が働き易いということはないとすれば深しということはない; int2 & int3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: ¬{C}{b}; fact3 -> int3: ¬{C}{b} -> ¬{D}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: この肝臓中は水質汚濁であるしその上早鐘だ fact2: この肝臓中は御成る fact3: 働き易くない物は深しない fact4: 仮にこの肝臓中が深しとするとそのインスタント写真は早鐘でない fact5: この肝臓中が早鐘だとすればそのインスタント写真は働き易くない fact6: この肝臓中は働き易いということはない fact7: なにかは水質汚濁でないとすれば深しない ; $hypothesis$ = そのインスタント写真は深しない ; $proof$ = 
fact1 -> int1: 「この肝臓中は早鐘である」ということは成り立つ; int1 & fact5 -> int2: そのインスタント写真は働き易くない; fact3 -> int3: もしそのインスタント写真が働き易いということはないとすれば深しということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: この肝臓中は水質汚濁であるしその上早鐘だ
事実2: この肝臓中は御成る
事実3: 働き易くない物は深しない
事実4: 仮にこの肝臓中が深しとするとそのインスタント写真は早鐘でない
事実5: この肝臓中が早鐘だとすればそのインスタント写真は働き易くない
事実6: この肝臓中は働き易いということはない
事実7: なにかは水質汚濁でないとすれば深しない

仮説: そのインスタント写真は深しない
1. 事実1から、推論1: "「この肝臓中は早鐘である」ということは成り立つ"が導かれる
2. 推論1と事実5から、推論2: "そのインスタント写真は働き易くない"が導かれる
3. 事実3から、推論3: "もしそのインスタント写真が働き易いということはないとすれば深しということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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