「この特務艦はＳＩＣだがしかし扱い易くない」ということは間違っている
fact1: もし「厭わしい」物はあれば「この特務艦はＳＩＣであるがしかし扱い易くない」ということは間違っている fact2: 「この特務艦は誤謬でそれに束縛し合う」ということは成り立たない fact3: 何らかの物は厭わしい fact4: 何かはＳＩＣだ
fact3 & fact1 -> hypothesis;
$facts$ = fact1: もし「厭わしい」物はあれば「この特務艦はＳＩＣであるがしかし扱い易くない」ということは間違っている fact2: 「この特務艦は誤謬でそれに束縛し合う」ということは成り立たない fact3: 何らかの物は厭わしい fact4: 何かはＳＩＣだ ; $hypothesis$ = 「この特務艦はＳＩＣだがしかし扱い易くない」ということは間違っている ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: もし「厭わしい」物はあれば「この特務艦はＳＩＣであるがしかし扱い易くない」ということは間違っている
事実2: 「この特務艦は誤謬でそれに束縛し合う」ということは成り立たない
事実3: 何らかの物は厭わしい
事実4: 何かはＳＩＣだ

仮説: 「この特務艦はＳＩＣだがしかし扱い易くない」ということは間違っている
1. 事実3と事実1から、仮説が導かれる

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