そのＳナインは刺々しかない
fact1: 「もしもそのＳナインは刺々しいならば「この善意占有者は帆立貝でないけどそれは勇ましい」ということは正しくない」ということは確かである fact2: もし「この善意占有者は帆立貝でないが勇ましい」ということは嘘ならばその欧米間は勇ましかない fact3: もし仮にこの善意占有者が研磨するしさらにそれが勇ましいとするとそのＳナインは刺々しかない fact4: 仮にあるものが捜し出せるとしたら刺々しい fact5: この善意占有者は研磨するし勇ましい
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
その欧米間は勇ましかない
fact6 -> int1: もし「そのＳナインは捜し出せる」ということは成り立つならそれは刺々しい;
$facts$ = fact1: 「もしもそのＳナインは刺々しいならば「この善意占有者は帆立貝でないけどそれは勇ましい」ということは正しくない」ということは確かである fact2: もし「この善意占有者は帆立貝でないが勇ましい」ということは嘘ならばその欧米間は勇ましかない fact3: もし仮にこの善意占有者が研磨するしさらにそれが勇ましいとするとそのＳナインは刺々しかない fact4: 仮にあるものが捜し出せるとしたら刺々しい fact5: この善意占有者は研磨するし勇ましい ; $hypothesis$ = そのＳナインは刺々しかない ; $proof$ = 
fact3 & fact5 -> hypothesis; __PROVED__
事実1: 「もしもそのＳナインは刺々しいならば「この善意占有者は帆立貝でないけどそれは勇ましい」ということは正しくない」ということは確かである
事実2: もし「この善意占有者は帆立貝でないが勇ましい」ということは嘘ならばその欧米間は勇ましかない
事実3: もし仮にこの善意占有者が研磨するしさらにそれが勇ましいとするとそのＳナインは刺々しかない
事実4: 仮にあるものが捜し出せるとしたら刺々しい
事実5: この善意占有者は研磨するし勇ましい

仮説: そのＳナインは刺々しかない
1. 事実3と事実5から、仮説が導かれる

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