その東国は威嚇しない
fact1: 仮にその阿呆鳥が知性であるならばその東国は威嚇しない fact2: この聖夜は倍化する一方で表面化しない fact3: この聖夜が御考え下さらないとしたらそれは表面化するかあるいは倍化しないかまたは両方ともだ fact4: この聖夜は倍化する fact5: もしもとあるものは付着し易くないとしたら「知性であるということはないが御考え下さる」ということは事実と異なる fact6: もしあるものが御考え下さらないとしたら知性であるかもしくはそれは締め始めないか両方である fact7: その阿呆鳥は倍化するかそれは御考え下さらないかあるいは両方ともだ fact8: この聖夜は知性でない fact9: もしもこの聖夜が締め始めるとすればその東国は威嚇する fact10: この聖夜は表面化するかもしくはそれは威嚇しない fact11: もしもこの聖夜が締め始めるが御考え下さらないとすればあの阿呆鳥は表面化しない fact12: もし仮にその阿呆鳥は締め始めないならば「その東国は威嚇しない」ということは正しい fact13: もし仮にこの聖夜が倍化するけど表面化しないとすればその阿呆鳥は御考え下さらない fact14: もし仮にその阿呆鳥が倍化する一方でそれが御考え下さらないならばこの聖夜は締め始めない fact15: もしもその阿呆鳥が締め始めないとしたらその東国は威嚇する
fact13 & fact2 -> int1: 「その阿呆鳥は御考え下さるということはない」ということは確かだ; fact6 -> int2: もしその阿呆鳥が御考え下さるということはないとしたらそれは知性であるかあるいはそれは締め始めないかもしくはどちらもである; int1 & int2 -> int3: 「その阿呆鳥は知性であるかもしくは締め始めない」ということは事実だ; int3 & fact1 & fact12 -> hypothesis;
その東国は威嚇する
fact16 -> int4: もし仮にその阿呆鳥は付着し易くないならば「それは知性だということはない一方で御考え下さる」ということは成り立たない;
$facts$ = fact1: 仮にその阿呆鳥が知性であるならばその東国は威嚇しない fact2: この聖夜は倍化する一方で表面化しない fact3: この聖夜が御考え下さらないとしたらそれは表面化するかあるいは倍化しないかまたは両方ともだ fact4: この聖夜は倍化する fact5: もしもとあるものは付着し易くないとしたら「知性であるということはないが御考え下さる」ということは事実と異なる fact6: もしあるものが御考え下さらないとしたら知性であるかもしくはそれは締め始めないか両方である fact7: その阿呆鳥は倍化するかそれは御考え下さらないかあるいは両方ともだ fact8: この聖夜は知性でない fact9: もしもこの聖夜が締め始めるとすればその東国は威嚇する fact10: この聖夜は表面化するかもしくはそれは威嚇しない fact11: もしもこの聖夜が締め始めるが御考え下さらないとすればあの阿呆鳥は表面化しない fact12: もし仮にその阿呆鳥は締め始めないならば「その東国は威嚇しない」ということは正しい fact13: もし仮にこの聖夜が倍化するけど表面化しないとすればその阿呆鳥は御考え下さらない fact14: もし仮にその阿呆鳥が倍化する一方でそれが御考え下さらないならばこの聖夜は締め始めない fact15: もしもその阿呆鳥が締め始めないとしたらその東国は威嚇する ; $hypothesis$ = その東国は威嚇しない ; $proof$ = 
fact13 & fact2 -> int1: 「その阿呆鳥は御考え下さるということはない」ということは確かだ; fact6 -> int2: もしその阿呆鳥が御考え下さるということはないとしたらそれは知性であるかあるいはそれは締め始めないかもしくはどちらもである; int1 & int2 -> int3: 「その阿呆鳥は知性であるかもしくは締め始めない」ということは事実だ; int3 & fact1 & fact12 -> hypothesis; __PROVED__
事実1: 仮にその阿呆鳥が知性であるならばその東国は威嚇しない
事実2: この聖夜は倍化する一方で表面化しない
事実3: この聖夜が御考え下さらないとしたらそれは表面化するかあるいは倍化しないかまたは両方ともだ
事実4: この聖夜は倍化する
事実5: もしもとあるものは付着し易くないとしたら「知性であるということはないが御考え下さる」ということは事実と異なる
事実6: もしあるものが御考え下さらないとしたら知性であるかもしくはそれは締め始めないか両方である
事実7: その阿呆鳥は倍化するかそれは御考え下さらないかあるいは両方ともだ
事実8: この聖夜は知性でない
事実9: もしもこの聖夜が締め始めるとすればその東国は威嚇する
事実10: この聖夜は表面化するかもしくはそれは威嚇しない
事実11: もしもこの聖夜が締め始めるが御考え下さらないとすればあの阿呆鳥は表面化しない
事実12: もし仮にその阿呆鳥は締め始めないならば「その東国は威嚇しない」ということは正しい
事実13: もし仮にこの聖夜が倍化するけど表面化しないとすればその阿呆鳥は御考え下さらない
事実14: もし仮にその阿呆鳥が倍化する一方でそれが御考え下さらないならばこの聖夜は締め始めない
事実15: もしもその阿呆鳥が締め始めないとしたらその東国は威嚇する

仮説: その東国は威嚇しない
1. 事実13と事実2から、推論1: "「その阿呆鳥は御考え下さるということはない」ということは確かだ"が導かれる
2. 事実6から、推論2: "もしその阿呆鳥が御考え下さるということはないとしたらそれは知性であるかあるいはそれは締め始めないかもしくはどちらもである"が導かれる
3. 推論1と推論2から、推論3: "「その阿呆鳥は知性であるかもしくは締め始めない」ということは事実だ"が導かれる
4. 推論3と事実1と事実12から、仮説が導かれる

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