「「だらし無いがしかし活用し易いということはない」ということは間違っている」ものはある
fact1: 「「活用し易いし厭わしい」ということは間違いである」ものはある fact2: 「この副腎髄質シンチグラフィは八海岸でしかも活用し易い」ということは成り立たない fact3: あの一心同体は厭わしい fact4: この副腎髄質シンチグラフィは原盤である fact5: もしもあの一心同体は厭わしいなら「この副腎髄質シンチグラフィはだらし無いけど活用し易くない」ということは偽だ fact6: 「「厭わしいしだらし無い」ということは嘘である」ものはある
fact5 & fact3 -> int1: 「この副腎髄質シンチグラフィはだらし無いけど活用し易くない」ということは偽である; int1 -> hypothesis;
fact5 & fact3 -> int1: ¬({AA}{b} & ¬{AB}{b}); int1 -> hypothesis;
$facts$ = fact1: 「「活用し易いし厭わしい」ということは間違いである」ものはある fact2: 「この副腎髄質シンチグラフィは八海岸でしかも活用し易い」ということは成り立たない fact3: あの一心同体は厭わしい fact4: この副腎髄質シンチグラフィは原盤である fact5: もしもあの一心同体は厭わしいなら「この副腎髄質シンチグラフィはだらし無いけど活用し易くない」ということは偽だ fact6: 「「厭わしいしだらし無い」ということは嘘である」ものはある ; $hypothesis$ = 「「だらし無いがしかし活用し易いということはない」ということは間違っている」ものはある ; $proof$ = 
fact5 & fact3 -> int1: 「この副腎髄質シンチグラフィはだらし無いけど活用し易くない」ということは偽である; int1 -> hypothesis; __PROVED__
事実1: 「「活用し易いし厭わしい」ということは間違いである」ものはある
事実2: 「この副腎髄質シンチグラフィは八海岸でしかも活用し易い」ということは成り立たない
事実3: あの一心同体は厭わしい
事実4: この副腎髄質シンチグラフィは原盤である
事実5: もしもあの一心同体は厭わしいなら「この副腎髄質シンチグラフィはだらし無いけど活用し易くない」ということは偽だ
事実6: 「「厭わしいしだらし無い」ということは嘘である」ものはある

仮説: 「「だらし無いがしかし活用し易いということはない」ということは間違っている」ものはある
1. 事実5と事実3から、推論1: "「この副腎髄質シンチグラフィはだらし無いけど活用し易くない」ということは偽である"が導かれる
2. 推論1から、仮説が導かれる

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