その瑞泉寺は聞き比べない
fact1: もしも「「あの総司令部は皮弁作製であるしそれは物干し台である」ということは成り立つということはない」ということは正しいならこの船乗りは物干し台でない fact2: この実践値幅は登山家らしい fact3: もしなにがしかの物が考え易いとしたら登山家らしい fact4: 仮にこの実践値幅が考え易いか登山家らしいならその瑞泉寺は聞き比べない
fact2 -> int1: この実践値幅は考え易いかあるいは登山家らしいかもしくは両方ともである; int1 & fact4 -> hypothesis;
fact2 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> hypothesis;
その瑞泉寺は登山家らしい
fact5 -> int2: もしその瑞泉寺が考え易いとするとそれは登山家らしい;
$facts$ = fact1: もしも「「あの総司令部は皮弁作製であるしそれは物干し台である」ということは成り立つということはない」ということは正しいならこの船乗りは物干し台でない fact2: この実践値幅は登山家らしい fact3: もしなにがしかの物が考え易いとしたら登山家らしい fact4: 仮にこの実践値幅が考え易いか登山家らしいならその瑞泉寺は聞き比べない ; $hypothesis$ = その瑞泉寺は聞き比べない ; $proof$ = 
fact2 -> int1: この実践値幅は考え易いかあるいは登山家らしいかもしくは両方ともである; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしも「「あの総司令部は皮弁作製であるしそれは物干し台である」ということは成り立つということはない」ということは正しいならこの船乗りは物干し台でない
事実2: この実践値幅は登山家らしい
事実3: もしなにがしかの物が考え易いとしたら登山家らしい
事実4: 仮にこの実践値幅が考え易いか登山家らしいならその瑞泉寺は聞き比べない

仮説: その瑞泉寺は聞き比べない
1. 事実2から、推論1: "この実践値幅は考え易いかあるいは登山家らしいかもしくは両方ともである"が導かれる
2. 推論1と事実4から、仮説が導かれる

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