その集中力は弛くない
fact1: この鉄剣は間断無いということはない fact2: もしもこの二立がたどたどしくないとしたらその集中力は弛くない fact3: もしもこの二立は間断無くないならば「この鉄剣は弛くないが決め難い」ということは確かでない fact4: もし「この鉄剣は間断無くない」ということは真実だとしたら「この二立はたどたどしくて賢しい」ということは成り立たない fact5: もしも「この二立はたどたどしいし賢しい」ということは事実と異なればその集中力は弛くない
fact4 & fact1 -> int1: 「この二立はたどたどしいし賢しい」ということは間違いだ; int1 & fact5 -> hypothesis;
その集中力は弛い
$facts$ = fact1: この鉄剣は間断無いということはない fact2: もしもこの二立がたどたどしくないとしたらその集中力は弛くない fact3: もしもこの二立は間断無くないならば「この鉄剣は弛くないが決め難い」ということは確かでない fact4: もし「この鉄剣は間断無くない」ということは真実だとしたら「この二立はたどたどしくて賢しい」ということは成り立たない fact5: もしも「この二立はたどたどしいし賢しい」ということは事実と異なればその集中力は弛くない ; $hypothesis$ = その集中力は弛くない ; $proof$ = 
fact4 & fact1 -> int1: 「この二立はたどたどしいし賢しい」ということは間違いだ; int1 & fact5 -> hypothesis; __PROVED__
事実1: この鉄剣は間断無いということはない
事実2: もしもこの二立がたどたどしくないとしたらその集中力は弛くない
事実3: もしもこの二立は間断無くないならば「この鉄剣は弛くないが決め難い」ということは確かでない
事実4: もし「この鉄剣は間断無くない」ということは真実だとしたら「この二立はたどたどしくて賢しい」ということは成り立たない
事実5: もしも「この二立はたどたどしいし賢しい」ということは事実と異なればその集中力は弛くない

仮説: その集中力は弛くない
1. 事実4と事実1から、推論1: "「この二立はたどたどしいし賢しい」ということは間違いだ"が導かれる
2. 推論1と事実5から、仮説が導かれる

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