この国王は流され易くない
fact1: 何かは防災活動でないとするとそれは流され易くてかつ着任する fact2: もしも「この国王は流され易いがしかし防災活動でない」ということは成り立たないとしたらその客は着任しない fact3: もし仮にこの国王が防災活動だとしたら流され易くない fact4: この国王は言わす fact5: その巡拝は理解し辛くてまたそれは防災活動だ fact6: この国王は着任するしかつ防災活動である
fact6 -> int1: この国王は防災活動だ; int1 & fact3 -> hypothesis;
fact6 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
その客は着任しない
$facts$ = fact1: 何かは防災活動でないとするとそれは流され易くてかつ着任する fact2: もしも「この国王は流され易いがしかし防災活動でない」ということは成り立たないとしたらその客は着任しない fact3: もし仮にこの国王が防災活動だとしたら流され易くない fact4: この国王は言わす fact5: その巡拝は理解し辛くてまたそれは防災活動だ fact6: この国王は着任するしかつ防災活動である ; $hypothesis$ = この国王は流され易くない ; $proof$ = 
fact6 -> int1: この国王は防災活動だ; int1 & fact3 -> hypothesis; __PROVED__
事実1: 何かは防災活動でないとするとそれは流され易くてかつ着任する
事実2: もしも「この国王は流され易いがしかし防災活動でない」ということは成り立たないとしたらその客は着任しない
事実3: もし仮にこの国王が防災活動だとしたら流され易くない
事実4: この国王は言わす
事実5: その巡拝は理解し辛くてまたそれは防災活動だ
事実6: この国王は着任するしかつ防災活動である

仮説: この国王は流され易くない
1. 事実6から、推論1: "この国王は防災活動だ"が導かれる
2. 推論1と事実3から、仮説が導かれる

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