あの行政処分はしゃしゃり出る
fact1: あの行政処分が新設するとするとそれはしゃしゃり出る fact2: あの行政処分は新設する fact3: その有限状態オートマトンは新設する
$facts$ = fact1: あの行政処分が新設するとするとそれはしゃしゃり出る fact2: あの行政処分は新設する fact3: その有限状態オートマトンは新設する ; $hypothesis$ = あの行政処分はしゃしゃり出る ; $proof$ = 
事実1: あの行政処分が新設するとするとそれはしゃしゃり出る
事実2: あの行政処分は新設する
事実3: その有限状態オートマトンは新設する

仮説: あの行政処分はしゃしゃり出る