そのセカンドメッセンジャーは恵み深くない
fact1: 仮にそのセカンドメッセンジャーは継続し難い一方でべた付かないとすれば恵み深くない fact2: 「そのセカンドメッセンジャーは継続し難いがべた付くということはない」ということは偽でない
$facts$ = fact1: 仮にそのセカンドメッセンジャーは継続し難い一方でべた付かないとすれば恵み深くない fact2: 「そのセカンドメッセンジャーは継続し難いがべた付くということはない」ということは偽でない ; $hypothesis$ = そのセカンドメッセンジャーは恵み深くない ; $proof$ = 
事実1: 仮にそのセカンドメッセンジャーは継続し難い一方でべた付かないとすれば恵み深くない
事実2: 「そのセカンドメッセンジャーは継続し難いがべた付くということはない」ということは偽でない

仮説: そのセカンドメッセンジャーは恵み深くない