「この大鳥は厳めしいけれど香しかない」ということは嘘である
fact1: その人口規模は扱い難い fact2: 仮に「その人口規模は香しい」ということは事実であるとすれば「この大鳥は厳めしい一方で香しいということはない」ということは成り立たない fact3: もしもその人口規模が扱い難いならばそれは香しい fact4: もし何らかの物はせしめるとしたら「輸出出来る」ということは本当である
fact3 & fact1 -> int1: その人口規模は香しい; int1 & fact2 -> hypothesis;
もし仮にこの大鳥はせしめるとすれば「輸出出来る」ということは誤りでない
fact5 -> hypothesis;
$facts$ = fact1: その人口規模は扱い難い fact2: 仮に「その人口規模は香しい」ということは事実であるとすれば「この大鳥は厳めしい一方で香しいということはない」ということは成り立たない fact3: もしもその人口規模が扱い難いならばそれは香しい fact4: もし何らかの物はせしめるとしたら「輸出出来る」ということは本当である ; $hypothesis$ = 「この大鳥は厳めしいけれど香しかない」ということは嘘である ; $proof$ = 
fact3 & fact1 -> int1: その人口規模は香しい; int1 & fact2 -> hypothesis; __PROVED__
事実1: その人口規模は扱い難い
事実2: 仮に「その人口規模は香しい」ということは事実であるとすれば「この大鳥は厳めしい一方で香しいということはない」ということは成り立たない
事実3: もしもその人口規模が扱い難いならばそれは香しい
事実4: もし何らかの物はせしめるとしたら「輸出出来る」ということは本当である

仮説: 「この大鳥は厳めしいけれど香しかない」ということは嘘である
1. 事実3と事実1から、推論1: "その人口規模は香しい"が導かれる
2. 推論1と事実2から、仮説が導かれる

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