あのロイヤルは応対しない
fact1: 仮に「心安いししかも水平尾翼である」ものがあるとしたらあのロイヤルは応対しない fact2: もし仮に「なにかは水平尾翼だということはない」ということは成り立つとすると応対するしさらに心安い fact3: その西春別Ａ・Ｂは水平尾翼である fact4: その西春別Ａ・Ｂは心安い
fact4 & fact3 -> int1: その西春別Ａ・Ｂは心安くて水平尾翼である; int1 -> int2: 「心安いし加えて水平尾翼である」ものはある; int2 & fact1 -> hypothesis;
あのロイヤルは応対する
fact5 -> int3: あのロイヤルは水平尾翼でないならば応対するし心安い;
$facts$ = fact1: 仮に「心安いししかも水平尾翼である」ものがあるとしたらあのロイヤルは応対しない fact2: もし仮に「なにかは水平尾翼だということはない」ということは成り立つとすると応対するしさらに心安い fact3: その西春別Ａ・Ｂは水平尾翼である fact4: その西春別Ａ・Ｂは心安い ; $hypothesis$ = あのロイヤルは応対しない ; $proof$ = 
fact4 & fact3 -> int1: その西春別Ａ・Ｂは心安くて水平尾翼である; int1 -> int2: 「心安いし加えて水平尾翼である」ものはある; int2 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「心安いししかも水平尾翼である」ものがあるとしたらあのロイヤルは応対しない
事実2: もし仮に「なにかは水平尾翼だということはない」ということは成り立つとすると応対するしさらに心安い
事実3: その西春別Ａ・Ｂは水平尾翼である
事実4: その西春別Ａ・Ｂは心安い

仮説: あのロイヤルは応対しない
1. 事実4と事実3から、推論1: "その西春別Ａ・Ｂは心安くて水平尾翼である"が導かれる
2. 推論1から、推論2: "「心安いし加えて水平尾翼である」ものはある"が導かれる
3. 推論2と事実1から、仮説が導かれる

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