このメカは新造する
fact1: 「あの敷地・建物は駆使しない」ということは成り立つ fact2: 仮に「この朱引き絵図は駆使しない」ということは成り立つとすればあのメカは新造しない fact3: 「この朱引き絵図は駆使しない」ということは成り立つ
$facts$ = fact1: 「あの敷地・建物は駆使しない」ということは成り立つ fact2: 仮に「この朱引き絵図は駆使しない」ということは成り立つとすればあのメカは新造しない fact3: 「この朱引き絵図は駆使しない」ということは成り立つ ; $hypothesis$ = このメカは新造する ; $proof$ = 
事実1: 「あの敷地・建物は駆使しない」ということは成り立つ
事実2: 仮に「この朱引き絵図は駆使しない」ということは成り立つとすればあのメカは新造しない
事実3: 「この朱引き絵図は駆使しない」ということは成り立つ

仮説: このメカは新造する