「抗腫瘍効果でない」物はある
fact1: もしあの検屍が油っぽくないならば抗腫瘍効果であるし知見する fact2: 「あの検屍は知見する」ということは事実と異ならないならばあの外部基準電圧はレポートＳである fact3: もしもあの持分割合がレポートＳでなくておまけに多しということはないとするとあの外部基準電圧は抗腫瘍効果でない fact4: あの検屍はレポートＳだしその上知見する fact5: 何らかのものはレポートＳでない fact6: もし仮にあの持分割合が多しないしかつ抗腫瘍効果でないならあの外部基準電圧はレポートＳでない fact7: もし仮にあの検屍がレポートＳであるならあの持分割合はレポートＳでなくてそれに多しない fact8: もし仮にあの持分割合がレポートＳでないけれど多しならばあの外部基準電圧は抗腫瘍効果でない fact9: もしあの持分割合が多しとすればあの外部基準電圧は多しない fact10: もしも「あの検屍は知見する」ということは確かであるとすればあの外部基準電圧は知見しない fact11: あの持分割合がレポートＳだが抗腫瘍効果でないとするとあの外部基準電圧は知見しない fact12: この御所は思い合わせるし遠来である fact13: なんらかの物は知見する fact14: 何らかのものは熱っぽくない fact15: あの検屍は知見するし多し fact16: 「あの外部基準電圧は多しない」ということは成り立つ fact17: あの持分割合は抗腫瘍効果である
fact4 -> int1: あの検屍はレポートＳだ; int1 & fact7 -> int2: あの持分割合はレポートＳでなくてそれに多しない; int2 & fact3 -> int3: あの外部基準電圧は抗腫瘍効果でない; int3 -> hypothesis;
あの外部基準電圧は多しないし逆Ｕ字型でない
$facts$ = fact1: もしあの検屍が油っぽくないならば抗腫瘍効果であるし知見する fact2: 「あの検屍は知見する」ということは事実と異ならないならばあの外部基準電圧はレポートＳである fact3: もしもあの持分割合がレポートＳでなくておまけに多しということはないとするとあの外部基準電圧は抗腫瘍効果でない fact4: あの検屍はレポートＳだしその上知見する fact5: 何らかのものはレポートＳでない fact6: もし仮にあの持分割合が多しないしかつ抗腫瘍効果でないならあの外部基準電圧はレポートＳでない fact7: もし仮にあの検屍がレポートＳであるならあの持分割合はレポートＳでなくてそれに多しない fact8: もし仮にあの持分割合がレポートＳでないけれど多しならばあの外部基準電圧は抗腫瘍効果でない fact9: もしあの持分割合が多しとすればあの外部基準電圧は多しない fact10: もしも「あの検屍は知見する」ということは確かであるとすればあの外部基準電圧は知見しない fact11: あの持分割合がレポートＳだが抗腫瘍効果でないとするとあの外部基準電圧は知見しない fact12: この御所は思い合わせるし遠来である fact13: なんらかの物は知見する fact14: 何らかのものは熱っぽくない fact15: あの検屍は知見するし多し fact16: 「あの外部基準電圧は多しない」ということは成り立つ fact17: あの持分割合は抗腫瘍効果である ; $hypothesis$ = 「抗腫瘍効果でない」物はある ; $proof$ = 
fact4 -> int1: あの検屍はレポートＳだ; int1 & fact7 -> int2: あの持分割合はレポートＳでなくてそれに多しない; int2 & fact3 -> int3: あの外部基準電圧は抗腫瘍効果でない; int3 -> hypothesis; __PROVED__
事実1: もしあの検屍が油っぽくないならば抗腫瘍効果であるし知見する
事実2: 「あの検屍は知見する」ということは事実と異ならないならばあの外部基準電圧はレポートＳである
事実3: もしもあの持分割合がレポートＳでなくておまけに多しということはないとするとあの外部基準電圧は抗腫瘍効果でない
事実4: あの検屍はレポートＳだしその上知見する
事実5: 何らかのものはレポートＳでない
事実6: もし仮にあの持分割合が多しないしかつ抗腫瘍効果でないならあの外部基準電圧はレポートＳでない
事実7: もし仮にあの検屍がレポートＳであるならあの持分割合はレポートＳでなくてそれに多しない
事実8: もし仮にあの持分割合がレポートＳでないけれど多しならばあの外部基準電圧は抗腫瘍効果でない
事実9: もしあの持分割合が多しとすればあの外部基準電圧は多しない
事実10: もしも「あの検屍は知見する」ということは確かであるとすればあの外部基準電圧は知見しない
事実11: あの持分割合がレポートＳだが抗腫瘍効果でないとするとあの外部基準電圧は知見しない
事実12: この御所は思い合わせるし遠来である
事実13: なんらかの物は知見する
事実14: 何らかのものは熱っぽくない
事実15: あの検屍は知見するし多し
事実16: 「あの外部基準電圧は多しない」ということは成り立つ
事実17: あの持分割合は抗腫瘍効果である

仮説: 「抗腫瘍効果でない」物はある
1. 事実4から、推論1: "あの検屍はレポートＳだ"が導かれる
2. 推論1と事実7から、推論2: "あの持分割合はレポートＳでなくてそれに多しない"が導かれる
3. 推論2と事実3から、推論3: "あの外部基準電圧は抗腫瘍効果でない"が導かれる
4. 推論3から、仮説が導かれる

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