あの千五百型は誤り無いということはないしおまけに仮泊しない
fact1: もしもその鋳鉄は引き違いなら「あの千五百型は誤り無くないししかも仮泊しない」ということは成り立つ fact2: その鋳鉄は引き違いだ
$facts$ = fact1: もしもその鋳鉄は引き違いなら「あの千五百型は誤り無くないししかも仮泊しない」ということは成り立つ fact2: その鋳鉄は引き違いだ ; $hypothesis$ = あの千五百型は誤り無いということはないしおまけに仮泊しない ; $proof$ = 
事実1: もしもその鋳鉄は引き違いなら「あの千五百型は誤り無くないししかも仮泊しない」ということは成り立つ
事実2: その鋳鉄は引き違いだ

仮説: あの千五百型は誤り無いということはないしおまけに仮泊しない