「「もし仮に騙され易いとすると煙たくないがしかし表現形式な」ものはある」ということは確かであるということはない
fact1: 「騙され易い物は煙たくないけれど表現形式である」ということは真実である fact2: もしそのコルチゾール生合成系が騙され易いならば煙たくない
fact1 -> int1: もし仮にそのコルチゾール生合成系が騙され易いなら煙たくないけど表現形式だ; int1 -> hypothesis;
fact1 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 「騙され易い物は煙たくないけれど表現形式である」ということは真実である fact2: もしそのコルチゾール生合成系が騙され易いならば煙たくない ; $hypothesis$ = 「「もし仮に騙され易いとすると煙たくないがしかし表現形式な」ものはある」ということは確かであるということはない ; $proof$ = 
fact1 -> int1: もし仮にそのコルチゾール生合成系が騙され易いなら煙たくないけど表現形式だ; int1 -> hypothesis; __DISPROVED__
事実1: 「騙され易い物は煙たくないけれど表現形式である」ということは真実である
事実2: もしそのコルチゾール生合成系が騙され易いならば煙たくない

仮説: 「「もし仮に騙され易いとすると煙たくないがしかし表現形式な」ものはある」ということは確かであるということはない
1. 事実1から、推論1: "もし仮にそのコルチゾール生合成系が騙され易いなら煙たくないけど表現形式だ"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。