その在庫管理は拡張する
fact1: もし仮にその在庫管理が術者でなくてそれが抽象しないならばそれは拡張する fact2: その在庫管理は術者でなくて更に抽象するということはない
$facts$ = fact1: もし仮にその在庫管理が術者でなくてそれが抽象しないならばそれは拡張する fact2: その在庫管理は術者でなくて更に抽象するということはない ; $hypothesis$ = その在庫管理は拡張する ; $proof$ = 
事実1: もし仮にその在庫管理が術者でなくてそれが抽象しないならばそれは拡張する
事実2: その在庫管理は術者でなくて更に抽象するということはない

仮説: その在庫管理は拡張する