「仮にこのアセチルコリン受容体が取り結ばないとすればあのアセチルコリン受容体は意訳するけど目覚ましくない」ということは成り立たない
fact1: もし仮になんらかのものが取り結ばないとしたら意訳するしさらにそれは目覚ましくない
$facts$ = fact1: もし仮になんらかのものが取り結ばないとしたら意訳するしさらにそれは目覚ましくない ; $hypothesis$ = 「仮にこのアセチルコリン受容体が取り結ばないとすればあのアセチルコリン受容体は意訳するけど目覚ましくない」ということは成り立たない ; $proof$ = 
事実1: もし仮になんらかのものが取り結ばないとしたら意訳するしさらにそれは目覚ましくない

仮説: 「仮にこのアセチルコリン受容体が取り結ばないとすればあのアセチルコリン受容体は意訳するけど目覚ましくない」ということは成り立たない