あのシトクロムＰは喋れない
fact1: あのシトクロムＰが太し一方で恐れ多くないとしたら喋れる fact2: あのシトクロムＰは太し一方で恐れ多くない
$facts$ = fact1: あのシトクロムＰが太し一方で恐れ多くないとしたら喋れる fact2: あのシトクロムＰは太し一方で恐れ多くない ; $hypothesis$ = あのシトクロムＰは喋れない ; $proof$ = 
事実1: あのシトクロムＰが太し一方で恐れ多くないとしたら喋れる
事実2: あのシトクロムＰは太し一方で恐れ多くない

仮説: あのシトクロムＰは喋れない