この処世術は二十一図だ
fact1: この艦底は攻撃し易い fact2: もし「この処世術は攻撃し易い」ということは確かであるならばこの艦底は二十一図である fact3: あの不服は二十一図だ fact4: この艦底が攻撃し易いとすればあの処世術は二十一図だ fact5: 「もしとある物は攻撃し易くないとすれば二十一図でない」ということは間違っているということはない fact6: 仮に「この艦底は二十一図だ」ということは確かならばこの処世術は攻撃し易い
fact4 & fact1 -> hypothesis;
fact4 & fact1 -> hypothesis;
この処世術は二十一図であるということはない
fact7 -> int1: 仮にこの処世術が攻撃し易いということはないならそれは二十一図でない;
$facts$ = fact1: この艦底は攻撃し易い fact2: もし「この処世術は攻撃し易い」ということは確かであるならばこの艦底は二十一図である fact3: あの不服は二十一図だ fact4: この艦底が攻撃し易いとすればあの処世術は二十一図だ fact5: 「もしとある物は攻撃し易くないとすれば二十一図でない」ということは間違っているということはない fact6: 仮に「この艦底は二十一図だ」ということは確かならばこの処世術は攻撃し易い ; $hypothesis$ = この処世術は二十一図だ ; $proof$ = 
fact4 & fact1 -> hypothesis; __PROVED__
事実1: この艦底は攻撃し易い
事実2: もし「この処世術は攻撃し易い」ということは確かであるならばこの艦底は二十一図である
事実3: あの不服は二十一図だ
事実4: この艦底が攻撃し易いとすればあの処世術は二十一図だ
事実5: 「もしとある物は攻撃し易くないとすれば二十一図でない」ということは間違っているということはない
事実6: 仮に「この艦底は二十一図だ」ということは確かならばこの処世術は攻撃し易い

仮説: この処世術は二十一図だ
1. 事実4と事実1から、仮説が導かれる

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