その姓名は対テロだ
fact1: もし仮に「どす黒い」物があるとするとこの退行変性はニューメディアであるけどそれは対テロでない fact2: もし仮にあの富士登山がどす黒くないとしたらその姓名はニューメディアだがしかし対テロでない fact3: その姓名は対テロであるしまたニューメディアである
fact3 -> hypothesis;
fact3 -> hypothesis;
この退行変性はニューメディアだ
$facts$ = fact1: もし仮に「どす黒い」物があるとするとこの退行変性はニューメディアであるけどそれは対テロでない fact2: もし仮にあの富士登山がどす黒くないとしたらその姓名はニューメディアだがしかし対テロでない fact3: その姓名は対テロであるしまたニューメディアである ; $hypothesis$ = その姓名は対テロだ ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「どす黒い」物があるとするとこの退行変性はニューメディアであるけどそれは対テロでない
事実2: もし仮にあの富士登山がどす黒くないとしたらその姓名はニューメディアだがしかし対テロでない
事実3: その姓名は対テロであるしまたニューメディアである

仮説: その姓名は対テロだ
1. 事実3から、仮説が導かれる

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