その穿刺部は移管しなくてそれに欠点でない
fact1: 仮になにかは慕うということはないとしたら移管しなくてしかもそれは欠点だということはない fact2: その穿刺部は慕うということはない
fact1 -> int1: 仮にその穿刺部が慕わないとしたら移管しないし加えて欠点でない; int1 & fact2 -> hypothesis;
$facts$ = fact1: 仮になにかは慕うということはないとしたら移管しなくてしかもそれは欠点だということはない fact2: その穿刺部は慕うということはない ; $hypothesis$ = その穿刺部は移管しなくてそれに欠点でない ; $proof$ = 
fact1 -> int1: 仮にその穿刺部が慕わないとしたら移管しないし加えて欠点でない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 仮になにかは慕うということはないとしたら移管しなくてしかもそれは欠点だということはない
事実2: その穿刺部は慕うということはない

仮説: その穿刺部は移管しなくてそれに欠点でない
1. 事実1から、推論1: "仮にその穿刺部が慕わないとしたら移管しないし加えて欠点でない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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