あのＧＩＦＴは下中央だ
fact1: もし「この拡大図は汲み出すが打ち消さない」ということは成り立つならあのＧＩＦＴは下中央だ fact2: この拡大図は汲み出すけど打ち消さない
$facts$ = fact1: もし「この拡大図は汲み出すが打ち消さない」ということは成り立つならあのＧＩＦＴは下中央だ fact2: この拡大図は汲み出すけど打ち消さない ; $hypothesis$ = あのＧＩＦＴは下中央だ ; $proof$ = 
事実1: もし「この拡大図は汲み出すが打ち消さない」ということは成り立つならあのＧＩＦＴは下中央だ
事実2: この拡大図は汲み出すけど打ち消さない

仮説: あのＧＩＦＴは下中央だ