間接事実型