その生存本能は計量経済学でないけど生み落とす
fact1: その生存本能は生み落とす fact2: その生存本能は歯周ポケットだ fact3: その共犯者は生み落とす fact4: もしもその生存本能は微笑ましいとすれば「それは計量経済学でないが生み落とす」ということは成り立たない fact5: その生存本能は計量経済学でない fact6: あの目鼻は生み落とす
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
「「その生存本能は計量経済学でないけれど生み落とす」ということは正しい」ということは成り立たない
$facts$ = fact1: その生存本能は生み落とす fact2: その生存本能は歯周ポケットだ fact3: その共犯者は生み落とす fact4: もしもその生存本能は微笑ましいとすれば「それは計量経済学でないが生み落とす」ということは成り立たない fact5: その生存本能は計量経済学でない fact6: あの目鼻は生み落とす ; $hypothesis$ = その生存本能は計量経済学でないけど生み落とす ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: その生存本能は生み落とす
事実2: その生存本能は歯周ポケットだ
事実3: その共犯者は生み落とす
事実4: もしもその生存本能は微笑ましいとすれば「それは計量経済学でないが生み落とす」ということは成り立たない
事実5: その生存本能は計量経済学でない
事実6: あの目鼻は生み落とす

仮説: その生存本能は計量経済学でないけど生み落とす
1. 事実5と事実1から、仮説が導かれる

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