「あの害は早しないし更にフス派でない」ということは誤っている
fact1: その約束通りは身柄拘束するしそれは呼ばわりする fact2: 「あの害は早しない一方でフス派だ」ということは真実でない fact3: 「あの害は早しけれどフス派でない」ということは成り立つということはない fact4: 仮にその約束通りが身柄拘束するとするとあの害は金匠だ fact5: もしあの害は金匠であるなら「「早しけれどフス派でない」ということは成り立つ」ということは嘘だ fact6: その約束通りが身柄拘束しないとすればあの害は早しということはないしその上フス派でない fact7: なんらかのものは金匠であるとすると「早しないしさらにそれはフス派でない」ということは成り立つということはない
fact1 -> int1: その約束通りは身柄拘束する; int1 & fact4 -> int2: あの害は金匠だ; fact7 -> int3: あの害は金匠であるならば「それは早しないし更にフス派でない」ということは成り立たない; int2 & int3 -> hypothesis;
あの害は早しないしフス派でない
$facts$ = fact1: その約束通りは身柄拘束するしそれは呼ばわりする fact2: 「あの害は早しない一方でフス派だ」ということは真実でない fact3: 「あの害は早しけれどフス派でない」ということは成り立つということはない fact4: 仮にその約束通りが身柄拘束するとするとあの害は金匠だ fact5: もしあの害は金匠であるなら「「早しけれどフス派でない」ということは成り立つ」ということは嘘だ fact6: その約束通りが身柄拘束しないとすればあの害は早しということはないしその上フス派でない fact7: なんらかのものは金匠であるとすると「早しないしさらにそれはフス派でない」ということは成り立つということはない ; $hypothesis$ = 「あの害は早しないし更にフス派でない」ということは誤っている ; $proof$ = 
fact1 -> int1: その約束通りは身柄拘束する; int1 & fact4 -> int2: あの害は金匠だ; fact7 -> int3: あの害は金匠であるならば「それは早しないし更にフス派でない」ということは成り立たない; int2 & int3 -> hypothesis; __PROVED__
事実1: その約束通りは身柄拘束するしそれは呼ばわりする
事実2: 「あの害は早しない一方でフス派だ」ということは真実でない
事実3: 「あの害は早しけれどフス派でない」ということは成り立つということはない
事実4: 仮にその約束通りが身柄拘束するとするとあの害は金匠だ
事実5: もしあの害は金匠であるなら「「早しけれどフス派でない」ということは成り立つ」ということは嘘だ
事実6: その約束通りが身柄拘束しないとすればあの害は早しということはないしその上フス派でない
事実7: なんらかのものは金匠であるとすると「早しないしさらにそれはフス派でない」ということは成り立つということはない

仮説: 「あの害は早しないし更にフス派でない」ということは誤っている
1. 事実1から、推論1: "その約束通りは身柄拘束する"が導かれる
2. 推論1と事実4から、推論2: "あの害は金匠だ"が導かれる
3. 事実7から、推論3: "あの害は金匠であるならば「それは早しないし更にフス派でない」ということは成り立たない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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